1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider (eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge, Cambridge Univ. Press, 2003.
2. H. P. (Henk) Barendregt, The challenge of computer mathematics, Submitted to the Royal Society, http://www.cs.ru.nl/~freek/notes/RSpaper.pdf (accessed 8.03.05).
3. J. L. Bell and A. B. Slomson, Models and Ultraproducts: an Introduction, Amsterdam, North-Holland, 1969.
4. U. Berger and H. Schwichtenberg, Program extraction from classical proofs, In: D. Leivant (ed.), Logic and Computational Complexity, International Workshop LCC 94, Indiapolis, IN, USA, October 1994, p. 77–97.
5. G. Birkhoff and S. Maclane, A Survey of Modern Algebra, New York, Macmillan, 1941.