Παραπομπή σε μορφή APA (7η εκδ.)

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% ακριβείς.