The Object Constraint Language: Precise modeling with UML (1999)

by J Warmer, A Kleppe