Elements of stream calculus (2001)

by J J M M Rutten
Venue:In MFPS 2001, ENTCS 45