@inproceedings{OOPSLA-1995-StataG,
	author        = "Raymie Stata and John V. Guttag",
	booktitle     = "{Proceedings of the 10th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/217838.217861",
	editor        = "Rebecca Wirfs-Brock",
	isbn          = "0-89791-703-0",
	pages         = "200--214",
	publisher     = "{ACM}",
	title         = "{Modular Reasoning in the Presence of Subclassing}",
	year          = 1995,
}