Subtyping recursive types. (1993)

by R M Amadio, L Cardelli
Venue:ACM Trans. on Programming Languages,