Automata, Computability and Complexity : Theory and Applications - Rich, Elaine A. (India Pearson, 2015)
Include Appendix, References and Index
Keywords: Machine theory -- Computable functions -- Electronic data processing