John E.Hopcroft,Rajeev Motwani,Jeffrey D. Ullman