@InProceedings{Cengarle:2001:UML,
  author =       "Mar{\'\i}a Victoria Cengarle and Alexander Knapp",
  title =        "A Formal Semantics for {OCL} 1.4",
  pages =        "118--133",
  booktitle =    "UML 2001 - The Unified Modeling Language. Modeling
                            Languages, Concepts, and Tools. 4th
                  International Conference, Toronto, Canada, October 2001,
                  Proceedings",
  editor =       "Martin Gogolla and Cris Kobryn",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2185",
  year =         "2001",
}