The UML as a Formal Modeling Notation (1997)

by R France, A Evans, K Lano
Venue:In: OOPSLA’97 Workshop on Object-Oriented Behavioral