M. Ramezani. Karlsruher Institut für Technologie (KIT), Fakultät für Wirtschaftswissenschaften (Fak. f. Wirtschaftswiss.) Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruhe, Germany, PhD Thesis, (February 2011)
M. V\''olkel. Karlsruher Institut für Technologie (KIT), Fakultät für Wirtschaftswissenschaften (Fak. f. Wirtschaftswiss.) Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruhe, Germany, (July 2010)
I. Mainz. Universität Düsseldorf, Universitäts- und Landesbibliothek, Mathematisch- Naturwissenschaftliche Fakultät, WE Biologie, Physikalische Biologie, Düsseldorf, Germany, (January 2009)
G. Nagypál. Universität Karlsruhe, Fakultät für Informatik (Fak. f. Informatik) Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruhe, (2007)