1. Ahrendt, W.: Deduktive Fehlersuche in abstrakten Datentypen. Ph.D. thesis, Karlsruhe Institute of Technology, Germany (2001)
2. Ahrendt, W., et al.: The KeY approach: integrating object oriented design and formal verification. Technical report 2000/4, University of Karlsruhe, Department of Computer Science, January 2000
3. Lecture Notes in Computer Science,2016
4. Ahrendt, W., et al.: Integration of automated and interactive theorem proving. In: Bibel, W., Schmitt, P. (eds.) Automated Deduction – A Basis for Applications, volume I, 3. Kluwer (1998)
5. Baar, T.: Über die Semantikbeschreibung OCL-artiger Sprachen. Ph.D. thesis, Karlsruhe Institute of Technology (2003)