Martin D. Davis, Elaine J. Weyuker. Computability, complexity, and languages - fundamentals of theoretical computer science. Computer science and applied mathematics, Academic Press, 1983.
@book{0070485, title = {Computability, complexity, and languages - fundamentals of theoretical computer science}, author = {Martin D. Davis and Elaine J. Weyuker}, year = {1983}, tags = {e-science}, researchr = {https://researchr.org/publication/0070485}, cites = {0}, citedby = {0}, series = {Computer science and applied mathematics}, publisher = {Academic Press}, isbn = {978-0-12-206380-0}, }