@InProceedings{Muthiayen:1998:OOPSLAWS,
  author =       "Darmalingum Muthiayen",
  title =        "Formalizing {UML} for Rigorous Software Development",
  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",
}