Mechanizing proof : - MacKenzie, Donald A. (Inside technology, 2001)