J. Palsberg and M. I. Schwartzbach, “Static Typing for Object-Oriented Programming”, DPB, vol. 20, no. 355, Jun. 1991.