Safe type checking in a statically typed object-oriented programming language (1993)

by Kim B Bruce
Venue:In Proceedings of the Twentieth ACM Symposium on Principles of Programming Languages