Using types and inheritance in object-oriented programs (1987)

by Daniel C Halbert, Patrick D O'Brien
Venue:IEEE Software