"From Informal to Formal Specifications in UML."

Martin Giese, Rogardt Heldal (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics