Palsberg, J.; Schwartzbach, M. I. Static Typing for Object-Oriented Programming. DPB 1991, 20.