"Rigorous Description of Software Requirements with UML."

Luigi Lavazza (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics