1. IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12-1990
2. OWL 2 Web Ontology Language Document Overview, Second edn. W3C (2012).
http://www.w3.org/TR/owl-overview/
3. About the Unified Modeling Language Specification Version 2.0. OMG (2011).
https://www.omg.org/spec/UML/2.0/
4. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
5. Boley, H., Kifer, M. (eds.): RIF Framework for Logic Dialects. W3C Recommendation, 2nd edn. W3C (2013)