Elements of stream calculus (an extensive exercise in coinduction (2001)

by J J M M Rutten
Venue:Proc. of 17th Conf. on Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science