Automata, Languages and Programming - Albers, Susanne; Kanade, Takeo; Marchetti-Spaccamela, Alberto; Matias, Yossi; Nikoletseas, Sotiris; Thomas, Wolfgang (Springer Berlin Heidelberg, 2009)