Johnson, S. D. (1981). A computer system for checking proofs.
Chicago-Zitierstil (17. Ausg.)Johnson, Scott D. A Computer System for Checking Proofs. Ithaca, NY, 1981.
MLA-Zitierstil (9. Ausg.)Johnson, Scott D. A Computer System for Checking Proofs. 1981.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.