Jan J. M. M. Rutten Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series. 100-101 2000 conf/mpc/2000 MPC db/conf/mpc/mpc2000.html#Rutten00