Palsberg, J. (1995) “Type Inference with Selftype”, BRICS Report Series, 2(34). doi: 10.7146/brics.v2i34.19937.