@InCollection{Hennicker:2002:inOCL,
  author =       "Rolf Hennicker and Heinrich Hussmann and Michel Bidoit",
  title =        "On the Precise Meaning of {OCL} Constraints",
  booktitle =    "Object Modeling with the OCL: The Rationale behind the
                  Object Constraint Language",
  publisher =    "Springer",
  year =         "2002",
  editor =       "Tony Clark and Jos Warmer",
  pages =        "69--84",
  isbn =         "3-540-43169-1",
}