"Polymorphism and Subtyping in Interfaces."

Dinesh Katiyar, David C. Luckham, John C. Mitchell (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics