Automata, Languages and Programming - Aceto, Luca; Damgård, Ivan; Goldberg, Leslie Ann; Halldórsson, Magnús M.; Ingólfsdóttir, Anna; Kanade, Takeo; Walukiewicz, Igor; Damgaard, Ivan; Kittler, Josef; Walkiewicz, Igor (Springer Berlin Heidelberg, 2008)