.
Jos Warmer, Anneke Kleppe: The Object Constraint Language. Precise Modeling with UML. Addison-Wesley, 1999