"Semantic Issues of OCL: Past, Present, and Future."

Achim D. Brucker, Jürgen Doser, Burkhart Wolff (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics