Daniel C. Halbert, Patrick D. O'Brien: Using Types and Inheritance in Object-Oriented Programming. IEEE Softw. 4(5): 71-79 (1987)