Elements of stream calculus (2001)

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