Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series.

Jan J. M. M. Rutten

Browse the full MPC paper archive.