Jean-Marc Champarnaud Faissal Ouardi Djelloul Ziadi Normalized Expressions and Finite Automata. 141-154 2007 17 IJAC 1 http://dx.doi.org/10.1142/S021819670700355X db/journals/ijac/ijac17.html#ChamparnaudOZ07