A computer system for checking proofs - Johnson, Scott D. (1981)