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

by D C Halbert, P D O'Brien
Venue:IEEE Sot