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