1. B. Beckert, U. Keller, P.H. Schmitt, Translating the Object Constraint Language into First-order Predicate Logic, in: Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark, 2002, interactive/deductive verification in KeY.
2. Algebraic Semantics of OCL-Constrained Metamodel Specifications;Boronat,2009
3. HOL-OCL: A Formal Proof Environment for UML/OCL;Brucker,2008
4. Ensuring UML Models Consistency Using the OCL Environment;Chiorean;Electr. Notes Theor. Comput. Sci.,2004
5. All About Maude, A High-Performance Logical Framework;Clavel,2007