@inproceedings{tacs94:fisher+,
	address={London, UK},
	author={Fisher, Kathleen and Mitchell, John C.},
	booktitle={TACS '94: Proceedings of the International Conference on Theoretical Aspects of Computer Software},
	pages={844--885},
	publisher={Springer-Verlag},
	title={Notes on Typed Object-Oriented Programming},
	year=1994,
}