Agesen, O., J. Palsberg, and M. I. Schwartzbach. “Type Inference of SELF: Analysis of Objects With Dynamic and Multiple Inheritance”. DAIMI Report Series, vol. 22, no. 436, Apr. 1993, doi:10.7146/dpb.v22i436.6753.