Computability, complexity, and languages fundamentals of theoretical computer science - Davis, Martin 1928-.; Sigal, Ron.; Weyuker, Elaine J. (Boston Academic Press, 1994)
Keywords: Machine theory; Computational complexity; Formal languages