Anneke Kleppe, Jos Warmer. An Introduction to the Object Constraint Language (OCL). In TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France. pages 456, IEEE Computer Society, 2000. [doi]
Abstract is missing.