O'Donnell, M. J. (1985). Equational logic as a programming language. Massachusetts Institute of Technology Cambridge Mass.
Παραπομπή σε μορφή Chicago (17η εκδ.)O'Donnell, Michael J. Equational Logic as a Programming Language. Cambridge Mass: Massachusetts Institute of Technology Cambridge Mass, 1985.
Παραπομπή σε μορφή MLA (8th εκδ.)O'Donnell, Michael J. Equational Logic as a Programming Language. Massachusetts Institute of Technology Cambridge Mass, 1985.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.