Introduction to Automata Theory, Languages, and Computation by John Hopcroft - WordSea