Lua APA (7ú heag.)

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

Lua i Stíl Chicago (17ú heag.)

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

Lua MLA (9ú heag.)

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

Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.