Mechanizing proof computing, risk, and trust - MacKenzie, Donald A. (Cambridge, Mass. MIT Press, 2001)
Includes bibiographical references (p. [335]-418) and index.
Keywords: Computer systems -- Reliability; Computers and civilization