Mechanizing proof : computing, risk, and trust /
MacKenzie, Donald A.
Cambridge, Mass. ; London : MIT Press,
c2001.
Includes bibiographical references and index.
Computer systems
Computers and civilization.