Proof Methods for Corecursive Programs - Gibbons, J; Hutton, G (Fundamenta Informaticae, 2015)