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

by K B Bruce
Venue:In 20th Ann. ACM Symp. on Principles of Programming Languages