%0 Journal Article 
%F bcgs91
%A Breazu-Tannen, V.
%A Coquand, T.
%A Gunter, C.
%A Scedrov, A.
%T Inheritance as Implicit Coercion
%J Information and Computation
%V 93
%N 1
%P 172-221
%8 July
%D 1991
%K coinduction