- Jan Holub, Jan Zdárek, editors, Implementation and Application of Automata, 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers. Volume 4783 of Lecture Notes in Computer Science, Springer, 2007.