@InCollection{Richters:2002:inOCL, author = "Mark Richters and Martin Gogolla", title = "{OCL}: Syntax, Semantics, and Tools ", booktitle = "Object Modeling with the OCL: The Rationale behind the Object Constraint Language", publisher = "Springer", year = "2002", editor = "Tony Clark and Jos Warmer", pages = "42--68", isbn = "3-540-43169-1", }