Automata, Languages and Programming - Arge, Lars; Cachin, Christian; Kanade, Takeo; European Association for Theoretical Computer Science; Jurdzinski, Tomasz; Kittler, Josef; Tarlecki, Andrzej (Springer Berlin Heidelberg, 2007)