D. Kozen, J. Palsberg, and M. I. Schwartzbach, “Efficient Recursive Subtyping”, DPB, vol. 21, no. 405, Jul. 1992.