J. Palsberg and M. I. Schwartzbach, “A Unified Type System for Object-Oriented Programming”, DPB, vol. 19, no. 341, Dec. 1990.