@InCollection{Schuerr:2002:inOCL,
  author =       "Andy Sch{\"u}rr",
  title =        "A New Type Checking Approach for {OCL} Version 2.0 ?",
  booktitle =    "Object Modeling with the OCL: The Rationale behind the
                  Object Constraint Language",
  publisher =    "Springer",
  year =         "2002",
  editor =       "Tony Clark and Jos Warmer",
  pages =        "21--41",
  isbn =         "3-540-43169-1",
}