%0 Journal Article
%F AC93
%A Amadio, Roberto M.
%A Cardelli, Luca
%T Subtyping recursive types
%J ACM Transactions on Programming Languages and Systems
%V 15
%N 4
%D 1993
%U http://www.cs.berkeley.edu/~jcondit/pl-prelim/amadio93subtyping.ps