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