Kozen, Dexter, et al. “Efficient Recursive Subtyping”. DAIMI Report Series, vol. 21, no. 405, July 1992, doi:10.7146/dpb.v21i405.6639.