@inproceedings{OOPSLA-1993-BruceCMGDM,
	author        = "Kim B. Bruce and Jonathan Crabtree and Thomas P. Murtagh and Robert van Gent and Allyn Dimock and Robert Müller",
	booktitle     = "{Proceedings of the Eighth Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/165854.165865",
	editor        = "Timlynn Babitsky and Jim Salmons",
	isbn          = "0-89791-587-9",
	pages         = "29--46",
	publisher     = "{ACM}",
	title         = "{Safe and Decidable Type Checking in an Object-Oriented Language}",
	year          = 1993,
}