Unification of static and dynamic semantics of UML (2001)

by A Kleppe, J Warmer