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