Implementation and Application of Automata : 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers - Jan Holub, Jan ..árek ((Lecture Notes in Computer Science))