APA (7th ed.) Citation

O'Donnell, M. J. (1985). Equational logic as a programming language. MIT Press.

Chicago Style (17th ed.) Citation

O'Donnell, Michael J. Equational Logic as a Programming Language. Cambridge, Mass: MIT Press, 1985.

MLA (9th ed.) Citation

O'Donnell, Michael J. Equational Logic as a Programming Language. MIT Press, 1985.

Warning: These citations may not always be 100% accurate.