Automata, Languages and Programming - Abramsky, Samson; Gavoille, Cyril; Kanade, Takeo; Kirchner, Claude; Meyer auf der Heide, Friedhelm; Spirakis, Paul G.; Spirakis, Paul (Springer Berlin Heidelberg, 2010)