O. Agesen, J. Palsberg, and M. I. Schwartzbach, “Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance”, DPB, vol. 22, no. 436, Apr. 1993.