%0 Journal Article 
%F mito91
%A Milner, Robin
%A Tofte, Mads
%T Co-induction in relational semantics
%J Theoretical Computer Science
%V 87
%N 1
%P 209-220
%D 1991
%K coinduction