@inproceedings{ECOOP-1989-Cook,
	author        = "William R. Cook",
	booktitle     = "{Proceedings of the Third European Conference on Object-Oriented Programming}",
	editor        = "S. Cook",
	isbn          = "0-521-38232-7",
	pages         = "57--70",
	publisher     = "{Cambridge University Press}",
	title         = "{A Proposal for Making Eiffel Type-Safe}",
	year          = 1989,
}