Hehner, E. C. (1984). The logic of programming. Prentice-Hall.
Παραπομπή σε μορφή Chicago (17η εκδ.)Hehner, Eric C. The Logic of Programming. Englewood Cliffs N.J: Prentice-Hall, 1984.
Παραπομπή σε μορφή MLA (8th εκδ.)Hehner, Eric C. The Logic of Programming. Prentice-Hall, 1984.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.