Boolean Procedure (1980) | AIDB | AIDB