1. Audi, R.: The Cambridge Dictionary of Philosophy. Cambridge University Press, The Pitt Building (1995)
2. Bachman, C.: Data structure diagrams. Data Base, Journal of ACM SIGBDP 1(2) (1969)
3. Benjamins, V., Fensel, D.: The Ontological Engineering Initiative (KA)2. Internet publication + Formal Ontology in Information Systems, University of Amsterdam, SWI, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands and University of Karlsruhe, AIFB, 76128 Karlsruhe, Germany (1998),
http://www.aifb.uni-karlsruhe.de/WBS/broker/KA2.htm
4. Lecture Notes in Computer Science;D. Bjørner,2007
5. Bjørner, D.: From Domains to Requirements. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Montanari Festschrift. LNCS, vol. 5065, pp. 278–300. Springer, Heidelberg (2008)