%0 Journal Article 
%F buda77
%A Burstall, R.
%A Darlington, J.
%T A Transformation System for Developing Recursive Programs
%J J. of the ACM
%V 24
%N 1
%P 44-67
%8 January
%D 1977
%K coinduction