Proof Methods for Structured Corecursive Programs (1999)

by J Gibbons, G Hutton
Venue:In Proceedings of the 1st Scottish Functional Programming Workshop