Jens Palsberg Michael I. Schwartzbach Object-Oriented Type Inference. 146-161 1991 OOPSLA db/conf/oopsla/oopsla91.html#PalsbergS91