Jeremy Gibbons, Graham Hutton. Proof Methods for Corecursive Programs. Fundamenta Informaticae, 66(4):353-366, 2005. [doi]
@article{GibbonsH05,
title = {Proof Methods for Corecursive Programs},
author = {Jeremy Gibbons and Graham Hutton},
year = {2005},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=66&issue=4&spage=353},
researchr = {https://researchr.org/publication/GibbonsH05},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {66},
number = {4},
pages = {353-366},
}