Andy Schürr. A New Type Checking Approach for OCL Version 2.0?. 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 21-41, Springer, 2002. [doi]