Cita APA (7a ed.)

Johnson, S. D. (1982). A computer system for checking proofs. University Microfilms International.

Cita Chicago Style (17a ed.)

Johnson, Scott D. A Computer System for Checking Proofs. Ann Arbor: University Microfilms International, 1982.

Cita MLA (9a ed.)

Johnson, Scott D. A Computer System for Checking Proofs. University Microfilms International, 1982.