APA (7th ed.) Citation

MacKenzie, D. A. (2004). Mechanizing proof : computing, risk, and trust / Donald MacKenzie: Computing, risk, and trust (MIT Press pbk. ed.). MIT Press.

Chicago Style (17th ed.) Citation

MacKenzie, Donald A. Mechanizing Proof : Computing, Risk, and Trust / Donald MacKenzie: Computing, Risk, and Trust. MIT Press pbk. ed. Cambridge, Mass.: MIT Press, 2004.

MLA (9th ed.) Citation

MacKenzie, Donald A. Mechanizing Proof : Computing, Risk, and Trust / Donald MacKenzie: Computing, Risk, and Trust. MIT Press pbk. ed. MIT Press, 2004.

Warning: These citations may not always be 100% accurate.