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

by K B Bruce
Venue:In POPL