Introduction to Automata Theory (2001)

by J E Hopcroft, R Motwani, J D Ullman