Proof methods for corecursive programs (2005)

by Jeremy Gibbons, Graham Hutton
Venue:Fundamenta Informaticae Special Issue on Program Transformation