Automata, Languages and Programming door M. Nielsen, Jiri Wiedermann & Peter van Emde Boas