1. Ahrendt W, Baar T, Beckert B, Giese M, Hähnle R, Menzel W, Mostowski W, Schmitt PH (2002) The KeY System: Integrating Object-Oriented Design and Formal Methods. In: Ojeda-Aciego M, Pérez de Guzmán I, Brewka G, Moniz Pereira L (eds) Europ. Wsh. Logics in Artifical Intelligence, Lect. Notes Artif. Intell., vol. 1919. Springer, Berlin, pp 21–36
2. Baar T (2000) Experiences with the UML/OCL-Approach to Precise Software Modeling. In: Proc. Net.ObjectDays, Erfurt. http://i12www.ira.uka.de/∼key/doc/2000/baar00.pdf.gz
3. Baar T, Beckert B, Schmitt PH (2001) An Extension of Dynamic Logic for Modelling OCL’s @pre Operator. In: Bjørner D, Broy M, Zamulin AV (eds) Proc. 4th Andrei Ershov Int. Conf. Perspectives of System Informatics, Lect. Notes Comp. Sci., vol. 2244. Springer, Berlin, pp 47–54
4. Baar T, Hähnle R (2000) An Integrated Metamodel for OCL Types. In: France R (ed) Proc. OOPSLA’2000 Wsh. Refactoring the UML: In Search of the Core, Minneapolis
5. Beckert B, Keller U, Schmitt PH (2003) Translating the Object Constraint Language into First-order Predicate Logic. (Submitted for publication)