Mark Richters, Martin Gogolla. OCL: Syntax, Semantics, and Tools. 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 42-68, Springer, 2002. [doi]
Abstract is missing.