A Formal Semantics for UML Interactions.

Alexander Knapp A Formal Semantics for UML Interactions. 116-130 1999 conf/uml/1999 UML db/conf/uml/uml1999.html#Knapp99