T. Gängler. Institute for Systems Architecture, Chair of Computer Networks, Department of Computer Science, University of Technology Dresden, Dresden, Germany, mastersthesis, (April 2011)
B. Gängler, and I. Wachsmuth. Ontologie und Axiomatik der Wissensbasis von LILOG, volume 307 of Informatik-Fachberichte, page 179-195. Springer, (1992)