Palsberg, Jens, Mitchell Wand, and Patrick O’Keefe. 1995. “Type Inference With Nonstructural Subtyping”. BRICS Report Series 2 (33). https://doi.org/10.7146/brics.v2i33.19936.