Palsberg, J., Wand, M. and O’Keefe, P. (1995) “Type Inference with Nonstructural Subtyping”, BRICS Report Series, 2(33). doi: 10.7146/brics.v2i33.19936.