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

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