@InProceedings{Flake:2004:UML,
  author =       "Stephan Flake and Wolfgang Mueller",
  title =        "An {ASM} Definition of the Dynamic {OCL} 2.0 Semantics",
  pages =        "226--240",
  booktitle =    "{UML} 2004 - The Unified Modeling Language. Model
                  Languages and Applications. 7th International Conference,
                  Lisbon, Portugal, October 11-15, 2004, Proceedings",
  editor =       "Thomas Baar and Alfred Strohmeier and Ana Moreira and
                  Stephen J. Mellor",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "3273",
  year =         "2004",
}