1. The Programming Language lisp: Its Operation and Applications;Abrahams,1966
2. An interactive theorem-proving program;Allen;Machine Intelligence,1970
3. Computer generation of counterexamples in topology;Ballantyne;The University of Texas at Austin Math. Dept. Memo ATP-24,1975
4. Graphing methods for topological proofs;Ballantyne;The University of Texas at Austin Math. Dept. Memo ATP-7,1973
5. Automatic proofs of theorems in analysis using non-standard techniques;Ballantyne;The University of Texas at Austin Math. Dept. Memo ATP-23,1975