Proof methods for corecursive programs (2004)

by G Hutton J Gibbons
Venue:Fundamenta Informaticae XX