Teoría de autómatas y lenguajes formales - Alfonseca Cubero, Enrique (McGraw-Hill, 2007)