Implementation and Application of Automata - Bouchou-Markhoff, Béatrice; Caron, Pascal; Champarnaud, Jean-Marc; Kanade, Takeo; Maurel, Denis (Springer Berlin Heidelberg, 2011)