A lambda calculus of objects and method specialization John C. Mitchell Furio Honsell Kathleen Fisher 26-38 conf/lics/LICS8 1993 LICS db/conf/lics/lics93.html#MitchellHF93