Palsberg, J.; Schwartzbach, M. I. Object-Oriented Type Inference. DPB 1991, 20.