Implementation and Application of Automata - Farré, Jacques; Ferré, Jacques; Kanade, Takeo; Litovsky, Igor; Schmitz, Sylvain (Springer Berlin / Heidelberg, 2006)