Zhenyu Qian Bernd Krieg-Brückner Typed Object-Oriented Functional Programming with Late Binding. 48-72 http://link.springer.de/link/service/series/0558/bibs/1098/10980048.htm 1996 conf/ecoop/1996 ECOOP db/conf/ecoop/ecoop96.html#QianK96