Rolf Hennicker, Heinrich Hußmann, Michel Bidoit. On the Precise Meaning of OCL Constraints. 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 69-84, Springer, 2002. [doi]
Abstract is missing.