MacKenzie, Donald. Mechanizing Proof:
mputing, Risk, and Trust. : The MIT Press, 2001.