1. A. M. Ballantyne and W. W. Bledsoe (1977): Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques. JACM 24(3), 353–371.
2. W. W. Bledsoe and P. Bruell (1974): A Man Machine Theorem-proving System. Artificial Intelligence 5(1), 51–72.
3. W. W. Bledsoe and M. Tyson (1975): The UT Interactive Prover. Memo ATP 17, Dept. of Mathematics, Univ. of Texas, Austin.
4. Robert S. Boyer and J Moore (1979): A Computational Logic. New York: Academic Press.
5. H. J. Keisler (1976): Elementary Calculus. Boston: Prindle, Weber and Schmidt.