@InProceedings{Brucker:2002:UML,
  author =       "Achim D. Brucker and Burkhart Wolff",
  title =        "{HOL-OCL}: Experiences, Consequences and Design Choices",
  pages =        "196--211",
  booktitle =    "UML 2002 - The Unified Modeling Language. Model
                  Engineering, Languages, Concepts, and Tools. 5th
                  International Conference, Dresden, Germany,
                  September/October 2002, Proceedings",
  editor =       "Jean-Marc J{\'e}z{\'e}quel and Heinrich Hussmann and
                  Stephen Cook",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2460",
  year =         "2002",
}