Automata, Languages and Programming - Bugliesi, Michele; Kanade, Takeo; Preneel, Bart; Sassone, Vladimiro; Wegener, Ingo (Springer Berlin / Heidelberg, 2006)