"A Formal Semantics for OCL 1.4."

María Victoria Cengarle, Alexander Knapp (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics