Automata, Languages And Programming by G. Goos, B. Monien & K. Larsen