"Type Safety in the Context of Method Updates."

Zahir Tari, Xue Li, Ling Liu (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics