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

by J J M M Rutten
Venue:Proceedings of MFPS 2001: Seventeenth Conference on the Mathematical Foundations of Programming Semantics. Electronic Notes in Theoretical Computer Science 45, Elsevier Science Publishers 1–66. (Also