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

by J J M M Rutten
Venue:Electr. Notes Theor. Comput. Sci