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

by J J M M Rutten
Venue:Proceedings of MFPS 2001, volume 45 of Electronic Notes in Theoretical Computer Science