APA (7th ed.) Citation

Johnson, S. D. (1981). A computer system for checking proofs ([Mikrofiche-Ausg.].).

Chicago Style (17th ed.) Citation

Johnson, Scott D. A Computer System for Checking Proofs. [Mikrofiche-Ausg.]. 1981.

MLA (9th ed.) Citation

Johnson, Scott D. A Computer System for Checking Proofs. [Mikrofiche-Ausg.]. 1981.

Warning: These citations may not always be 100% accurate.