@InProceedings{Bruel:1998:OOPSLAWS,
  author =       "Jean-Michel Bruel",
  title =        "Transforming {UML} Models to Formal Specifications",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}