Agesen, O.; Palsberg, J.; Schwartzbach, M. I. Type Inference of SELF: Analysis of Objects With Dynamic and Multiple Inheritance. DPB 1993, 22.