Static Type Checking and Method Lookup in Plop!. - Peter G. Kluit; Cornelis Pronk; Rob Verver (JMLC, 1997)