APA (7th ed.) Citation

MacQueen, D. B., & Sannella, D. T. (1984). Completeness of proof systems for equational specifications.

Chicago Style (17th ed.) Citation

MacQueen, David B., and Donald T. Sannella. Completeness of Proof Systems for Equational Specifications. Edinburgh, 1984.

MLA (9th ed.) Citation

MacQueen, David B., and Donald T. Sannella. Completeness of Proof Systems for Equational Specifications. 1984.

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