J. Palsberg, M. Wand, og P. O’Keefe, “Type Inference with Nonstructural Subtyping”, BRICS, bd. 2, nr. 33, jun. 1995.