APA (7th ed.) Citation

MacKenzie, D. A. (2001). Mechanizing proof: Computing, risk, and trust. MIT Press. https://doi.org/10.7551/mitpress/4529.001.0001

Chicago Style (17th ed.) Citation

MacKenzie, Donald A. Mechanizing Proof: Computing, Risk, and Trust. Cambridge, Mass.: MIT Press, 2001. https://doi.org/10.7551/mitpress/4529.001.0001.

MLA (9th ed.) Citation

MacKenzie, Donald A. Mechanizing Proof: Computing, Risk, and Trust. MIT Press, 2001. https://doi.org/10.7551/mitpress/4529.001.0001.

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