Automata, computability and complexity : theory and applications - Rich, Elaine (Pearson Prentice Hall, 2008)