Introduction To Automata Theory, Languages, And Computation by Rajeev Motwani & John E. Hopcroft