buda77

R. Burstall, J. Darlington. A Transformation System for Developing Recursive Programs. J. of the ACM, 24(1):44-67, January 1977.

Keyword

[ Coinduction ]

Contact

R.M. Burstall
John Darlington

BibTex Reference

@article{buda77,
   Author = {Burstall, R. and Darlington, J.},
   Title = {A Transformation System for Developing Recursive Programs},
   Journal = {J. of the ACM},
   Volume = {24},
   Number = {1},
   Pages = {44--67},
   Month = {January},
   Year = {1977}
}

EndNote Reference [help]

Get EndNote Reference (.ref)