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