Mark Richters Martin Gogolla OCL: Syntax, Semantics, and Tools. 42-68 2002 conf/ocl/2002 Object Modeling with the OCL http://link.springer.de/link/service/series/0558/bibs/2263/22630042.htm db/conf/ocl/ocl2002.html#RichtersG02