1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Bourbaki, N.: Elements of Mathematics - Algebra, vol. II. Hermann, Paris (1974)
3. Bracha, G., Lindstrom, G.: Modularity meets inheritance. In: Proc. Int’l Conf. Computer Languages, pp. 282–290 (1992)
4. de Bruijn, N.G.: The mathematical language Automath, its usage, and some of its extensions. Lecture Notes in Mathematics 125, 29–61 (1970)
5. de Bruijn, N.G.: The mathematical vernacular, a language for mathematics with typed sets. In: Workshop on Programming Logic (1987)