Hehner, E. C. R. A. (1984). The logic of programming.
Παραπομπή Chicago StyleHehner, Eric C R; Author. The Logic of Programming. New Delhi, Prentice-Hall of India, 1984.
Παραπομπή MLAHehner, Eric C R; Author. The Logic of Programming. 1984.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.