A tutorial on co-induction and functional programming (1994)

by A D Gordon
Venue:In Proc. of Glasgow functional programming workshop