1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers, Principles, Techniques, and Tools. Addison-Wesley Publishing Co., 1986.
2. Jim Alves-Foss. message of 1 November 1991 to info-hol mailing list. (Available electronically at http://lal.cs.byu.edu/lal/hol-documentation.html)
3. Jaime G. Carbonell, Ryszard S. Michalski, and Tom M. Mitchell. (Eds.) Machine Learning. An Artificial Intelligence Approach. Tioga Publishing Company, Palo Alto, California, 94302, 1983, page 9.
4. Eugene Charniak, Christopher K. Riesbeck, and Drew V. McDermott. Artificial Intelligence Programming. Lawrence Erlbaum Associates, 1980, chapters 11 and 14, pp. 121–130 and 162–176.
5. Ching-Tsun Chou. “A Note on Interactive Theorem Proving with Theorem Continuation Functions,” in Higher Order Logic Theorem Proving and Its Applications (HOL '92), edited by Luc Claesen and Michael Gordon, Elsevier Science Publishers B.V., 1992, pp. 59–69.