@InProceedings{EmdeBoas:1998:OOPSLAWS,
  author =       "Peter van Emde Boas",
  title =        "Formalizing {UML}; Misson Impossible?",
  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",
}