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