Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers - Champarnaud, Jean-Marc; Champarnaud, Jean-Marc; Maurel, Denis; Maurel, Denis (Springer Berlin Heidelberg : Imprint: Springer, 2003)