Jean-Marc Champarnaud Faissal Ouardi Djelloul Ziadi An Efficient Computation of the Equation <i>K</i>-Automaton of a Regular <i>K</i>-Expression. 145-156 2007 conf/dlt/2007 Developments in Language Theory http://dx.doi.org/10.1007/978-3-540-73208-2_16 db/conf/dlt/dlt2007.html#ChamparnaudOZ07