@InProceedings{Araujo:1998:OOPSLAWS,
  author =       "Jo{\~a}o Ara{\'u}jo",
  title =        "Formalizing Sequence Diagrams",
  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",
}