Hehner,Eric C R. (1991). The Logic of Programming. PHI.
Παραπομπή Chicago StyleHehner,Eric C R. The Logic of Programming. New Delhi: PHI, 1991.
Παραπομπή MLAHehner,Eric C R. The Logic of Programming. PHI, 1991.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.