"Toward Extracting ?-calculus from UML Sequence and State Diagrams."

Katerina Pokozy-Korenblat, Corrado Priami (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics