@article{nordic94:fisher+,
	address={Finland},
	author={Fisher, Kathleen and Honsell, Furio and Mitchell, John C.},
	journal={Nordic J. of Computing},
	number=1,
	pages={3--37},
	publisher={Publishing Association Nordic Journal of Computing},
	title={A lambda calculus of objects and method specialization},
	volume=1,
	year=1994,
}