@InProceedings{Baclawski:1998:OOPSLAWS, author = "Kenneth Baclawski", title = "{UML} Formalization: A Position Paper", 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", }