On the Return Types of Virtual Functions. - Emanuele Panizzi; Bernardo Pastorelli (ACM SIGPLAN Notices, 1999)

Multimethods and separate static typechecking in a language with C++-like object model - Emanuele Panizzi; Bernardo Pastorelli (CoRR, 2000)