@InProceedings{Lano:1998:OOPSLAWS, author = "Kevin Lano", title = "Defining Semantics for Rigorous Development in {UML}", 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", }