Palsberg, J. (1995) “Efficient Inference of Object Types”, BRICS Report Series, 2(32). doi: 10.7146/brics.v2i32.19935.