A State of the Art Survey (2002):

Object Modeling with the OCL

The Rationale behind the Object Constraint Language.

Springer, LNCS, Volume 2263 2002