Stephan Flake
-
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language