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

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

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

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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