Peter G. Kluit Cornelis Pronk Rob Verver Static Type Checking and Method Lookup in Plop!. 155-169 1997 conf/jmlc/1997 JMLC db/conf/jmlc/jmlc1997.html#KluitPV97