J. Palsberg, “Efficient Inference of Object Types”, BRICS, bd. 2, nr. 32, jun. 1995.