Automata, computability and complexity theory and applications - Rich, Elaine (Upper Saddle River, New Jersey Pearson Prentice Hall, 2008)
Keywords: Computable functions; Computational complexity; Electronic data processing; Machine theory