A bialgebraic review of regular expressions, deterministic automata and languages (2005)

by Bart Jacobs
Venue:Techn. Rep. NIII-R05003, Inst. for Computing and Information Sciences, Radboud Univ