Mechanizing Proof: Computing, Risk, and Trust

Mit Press - 2004
Donald Angus MacKenzie