Object Modeling with the OCL

Object Modeling with the OCL 2002

maintained by Schloss Dagstuhl LZI, founded at University of Trier