Mechanizing Proof: Computing, Risk, and Trust, by D. MacKenzie. Cambridge, MA: The MIT Press, 2001.

Sal Restivo Mechanizing Proof: Computing, Risk, and Trust, by D. MacKenzie. Cambridge, MA: The MIT Press, 2001. 2004 20 Inf. Soc. 1 db/journals/tis/tis20.html#Restivo04