Automata, Computability, and Complexity: Theory and Applications - Elaine Rich (Pearson Education, Inc, 2009)