Programación lógica - Warnier, Jean-Dominique; Flanagan, Brendan M (Técnicos Asociados, 1973)