Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers / - Champarnaud, Jean-Marc.; Maurel, Denis. (Springer, 2003)