"Set-Oriented Update Sequences for an OO-Model."

Christian Laasch, Marc H. Scholl (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics