APA Style

MacKenzie, D, A. (2001). Mechanizing proof : . : .

MLA Style

MacKenzie, Donald, A.. "Mechanizing proof :". : , 2001. Text.