J. Palsberg, “Efficient Inference of Object Types”, BRICS, vol. 2, no. 32, Jun. 1995.