Dinesh Katiyar David C. Luckham John C. Mitchell Polymorphism and Subtyping in Interfaces. 22-34 1994 Workshop on Interface Definition Languages db/conf/idl/idl94.html#KatiyarLM94