Proof methods for corecursive programs, submitted (2000)

by Jeremy Gibbons, Graham Hutton