APA Style

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

MLA Style

MacKenzie, Donald, A.. "Mechanizing proof :computing, risk, and trust ". Cambridge, Mass. :: MIT Press,, 2001.. .