Subtyping recursive types. In: (1991)

by R M Amadio, L Cardelli
Venue:Proc. of POPL.