"Implementation and Application of Automata, 7 conf., CIAA 2002" - читать интересную книгу автора (Jean-Marc Champarnaud, Denis Maurel)