Kozen, D.; Palsberg, J.; Schwartzbach, M. I. Efficient Recursive Subtyping. DPB 1992, 21.