APA-Zitierstil (7. Ausg.)

MacKenzie, D. A. (2001). Mechanizing proof: Computing, risk, and trust. The MIT Press.

Chicago-Zitierstil (17. Ausg.)

MacKenzie, Donald A. Mechanizing Proof: Computing, Risk, and Trust. Cambridge, Massachusetts: The MIT Press, 2001.

MLA-Zitierstil (9. Ausg.)

MacKenzie, Donald A. Mechanizing Proof: Computing, Risk, and Trust. The MIT Press, 2001.

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