MacKenzie, Donald: Mechanizing Proof: Computing, Risk, and Trust : The MIT Press, 2001. - ISBN 978-0-262-13393-7