Todd D. Millstein Craig Chambers Modular Statically Typed Multimethods. 279-303 http://dx.doi.org/10.1007/3-540-48743-3_13 1999 conf/ecoop/1999 ECOOP db/conf/ecoop/ecoop99.html#MillsteinC99