Automata, Languages, and Programming - Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias; Fraigniaud, Pierre; Husfeldt, Thore; Koutsoupias, Elias (Springer Berlin Heidelberg, 2014)