I. Niles, und A. Pease. Proceedings of the International Conference on Formal Ontology in Information Systems - Volume 2001, Seite 2--9. New York, NY, USA, ACM, (2001)
K. Lüttich, T. Mossakowski, und B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Volume 3423 von Lecture Notes in Computer Science, Seite 106-125. Springer; Berlin; http://www.springer.de, (2005)
O. Kutz, J. Hastings, und T. Mossakowski. 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Volume 7557 von Lecture Notes in Computer Science, Seite 103-111. Springer, (2012)