@Book{Warmer:1998:OCL, author = "Jos Warmer and Anneke Kleppe", title = "The {Object Constraint Language}: Precise Modeling with {UML}", publisher = "Addison-Wesley", year = "1998", isbn = "0-201-37940-6", }