@InCollection{Knapman:2002:inOCL,
  author =       "John  Knapman",
  title =        "Statistical Constraints and Verification",
  booktitle =    "Object Modeling with the OCL: The Rationale behind the
                  Object Constraint Language",
  publisher =    "Springer",
  year =         "2002",
  editor =       "Tony Clark and Jos Warmer",
  pages =        "172--189",
  isbn =         "3-540-43169-1",
}