Automata, Languages and Programming - Caires, Luís; Kanade, Takeo; Italiano, Guiseppe F.; Monteiro, Luis; Palamidessi, Catuscia; Yung, Moti (Springer Berlin / Heidelberg, 2005)