Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach: Efficient Recursive Subtyping. Math. Struct. Comput. Sci. 5(1): 113-125 (1995)