J. Palsberg, “Type Inference with Selftype”, BRICS, bd. 2, nr. 34, jun. 1995.