"Analysing UML Use Cases as Contracts."

Luigia Petre, Ralph-Johan Back, Ivan Paltor (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics