
References
Bart Jacobs
(2000-2009)
X(2006)., A bialgebraic review of deterministic automata, regular expressions and languages, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 375-404.