Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers - Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel ((Lecture Notes in Computer Science))