Janusz A. Brzozowski Ernst L. Leiss On Equations for Regular Languages, Finite Automata, and Sequential Networks. 19-35 1980 10 Theor. Comput. Sci. db/journals/tcs/tcs10.html#BrzozowskiL80