J. Palsberg, “Type Inference with Selftype”, BRICS, vol. 2, no. 34, Jun. 1995.