Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing. Correct Realization of Interface Constraints with OCL. In Robert B. France, Bernhard Rumpe, editors, «UML» 99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings. Volume 1723 of Lecture Notes in Computer Science, pages 399-415, Springer, 1999.
Abstract is missing.