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