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