@inproceedings{lics93:mitchell+,
	author={John C. Mitchell and
               Furio Honsell and
               Kathleen Fisher},
	booktitle={LICS},
	pages={26-38},
	title={A lambda calculus of objects and method specialization},
	year=1993,
}