Automata, Languages and Programming - Aceto, Luca; Henzinger, Monika; Kanade, Takeo; Sgall, Jiří (Springer Berlin Heidelberg, 2011)