APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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

Let op: Deze citaties zijn niet altijd 100% accuraat.