Programación lógica construcción de programas - Bull, Honeywell (Editores Técnicos Asociados, 1979)