Logica y algoritmos: con aplicaciones a las ciencias de la computación é información - Korfhage, Robert R. (LIMUSA, 1970)