Martin Gogolla Mark Richters Expressing UML Class Diagrams Properties with OCL. 85-114 2002 conf/ocl/2002 Object Modeling with the OCL http://link.springer.de/link/service/series/0558/bibs/2263/22630085.htm db/conf/ocl/ocl2002.html#GogollaR02