Implementation and Application of Automata - CIAA 2007; Ž?árek, Jan; dárek, Jan; Ždárek, Jan (Springer Berlin Heidelberg, 2007)