J. Palsberg, M. Wand, and P. O’Keefe, “Type Inference with Nonstructural Subtyping”, BRICS, vol. 2, no. 33, Jun. 1995.