Computability complexity, and languages: Fundamentals of theoretical computer science Martin O. Davis, Elaine J. Weyuker - Davis, Martin, 1928-; Weyuker, Elaine J. (Orlando, Fla. : Academic Press, 1983)
Bibliography: p.417-418
Keywords: Machine theory; Computational complexity; Formal languages