Achim D. Brucker, Burkhart Wolff. HOL-OCL: Experiences, Consequences and Design Choices. In Jean-Marc Jézéquel, Heinrich Hußmann, Stephen Cook, editors, UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings. Volume 2460 of Lecture Notes in Computer Science, pages 196-211, Springer, 2002. [doi]
Abstract is missing.