Automata, Languages and Programming - Aceto, Luca (Springer Berlin Heidelberg, 2011)