Palsberg, Jens, et al. “Type Inference With Nonstructural Subtyping”. BRICS Report Series, vol. 2, no. 33, June 1995, doi:10.7146/brics.v2i33.19936.