Palsberg, Jens, m.fl. “Type Inference With Nonstructural Subtyping”. BRICS Report Series, bd. 2, nr. 33, juni 1995, doi:10.7146/brics.v2i33.19936.