On equations for regular languages, finite automata, and sequential networks (1980)

by J A Brzozowski, E L Leiss
Venue:Theor. Comput. Sci