Mechanizing proof : computing, risk, and trust / Donald MacKenzie. - MacKenzie, Donald A. (Inside technology., 2004)