1. P. B. Andrews, S. Issar, D. Nesmith, and F. Pfenning. The TPS theorem proving system. In M. E. Stickel, editor, Proceedings of the 10th CADE, pages 641–642, 1990. Springer Verlag, LNAI 449.
2. C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, E. Melis, A. Meier, W. Schaarschmidt, J. Siekmann, and V. Sorge. Ω mega: Towards a Mathematical Assistant. In W. McCune, editor, Proceedings of the 14th CADE, LNAI, 1997. Springer Verlag.
3. C. Benzmüller. A Calculus and a System architecture for Extensional Higher-Order Resolution. Report 97-198, Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, 1997.
4. W. W. Bledsoe. A Maximal Method for Set Variables in Automatic Theorem Proving. Memo ATP-33, Math. Dept., Univ. of Texas, 1977.
5. R. G. Bartle and D. R. Sherbert. Introduction to Real Analysis. J. Wiley, second edition, 1992.