Martin Gogolla, Mark Richters. Expressing UML Class Diagrams Properties with OCL. In Tony Clark, Jos Warmer, editors, Object Modeling with the OCL, The Rationale behind the Object Constraint Language. Volume 2263 of Lecture Notes in Computer Science, pages 85-114, Springer, 2002. [doi]
Abstract is missing.