Mechanizing Proof: Computing, Risk, and Trust - Donald MacKenzie - Google BooksSearch Images Maps Play YouTube News Gmail Drive More ??Sign inAdvanced Book SearchBooksbooks.google.com - Most aspects of our private and social lives -- our safety, the integrity of the financial system, the functioning of utilities and other services, and national security -- now depend on computing.