Unification of Static and Dynamic Semantics of UML (2001)

by Anneke Kleppe, Jos Warmer