APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.