MacKenzie, D. (2001), Mechanizing Proof:
mputing, Risk, and Trust , The MIT Press .