Computability, complexity, and languages fundamentals of theoretical computer science - Davis, Martin Date; Weyuker, Elaine J. (Orlando Academic Press, 1983)
Keywords: Machine theory; Computational complexity; Formal languages