Automata, languages and programming - Lepistö, Timo (Springer, 1988)