Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers - Holub, Jan; Žďárek, Jan (Springer Berlin Heidelberg, 2007)