Proof Methods for Corecursive Programs (Fundamenta Informaticae, 2015)

(untitled) - Gibbons, J; Hutton, G