Palsberg, J. and Schwartzbach, M. I. (1991) “Object-Oriented Type Inference”, DAIMI Report Series, 20(345). doi: 10.7146/dpb.v20i345.6575.