La Transformacion de los programas: sintesis de programacion logica. - Warnier, Jean Dominique (Editores Técnicos Asociados, 1976)