"HOL-OCL: A Formal Proof Environment for UML/OCL."

Achim D. Brucker, Burkhart Wolff (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics