Safe and decidable type checking in an object-oriented language (1993)

by Kim B Bruce, Jon Crabtree, Thomas P Murtagh, Robert van Gent
Venue:In Proceedings of OOPSLA’93