Subtyping recursive types (1993)

by R M Amadio, L Cardelli
Venue:ACM Transactions on Programming Languages and Systems