Lógica y algoritmos - Korfhage, Robert R. (Limusa, 1969)