Proof Methods for Structured Corecursive Programs (Proceedings of 1st Scottish Workshop on Functional Programming, 1999)

(untitled) - Gibbons, J; Hutton, G