Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.