Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit door John E. Hopcroft