J. Palsberg and M. I. Schwartzbach, “Three Discussions on Object-Oriented Typing”, DPB, vol. 20, no. 362, Aug. 1991.