Object Modeling with the OCL 2002

maintained by Schloss Dagstuhl LZI at University of Trier