Introducción a la teoría de autómatas, lenguajes y computación / John E. Hopcroft, Jeffrey D. Ullman - Hopcroft, John E. (1993)