1. The KeY approach: Integrating object oriented design and formal verification;Ahrendt,2000
2. D. Akehurst, O. Patrascoiu, The Kent Modeling Framework (KMF), http://www.cs.kent.ac.uk/projects/ocl, University of Kent, 2005
3. D. Arnold, OCL/C# Compiler, www.ewebsimplex.net/csocl/, ewebsimplex, 2005
4. Boldsoft, Boldsoft OCL Tool Model Run, www.boldsoft.com, Boldsoft, Stockholm, 2002
5. Towards transformation of integrity constraints and database states;Büttner,2005