Object Modeling with the OCL

Object Modeling with the OCL 2002

maintained by Schloss Dagstuhl LZI at University of Trier