Automata, Languages, and Programming - Fomin (Springer Berlin Heidelberg, 2013)