J. Palsberg and M. I. Schwartzbach, “Object-Oriented Type Inference”, DPB, vol. 20, no. 345, Mar. 1991.