Thomas Baar: Über die Semantikbeschreibung OCL-artiger Sprachen. Karlsruhe Institute of Technology 2003, ISBN 3-8325-0433-8, 1-184