Computability, complexity and languages : fundamentals of theoretical computer science /
Davis, Martin,1928-
Sigal, Ron.
Weyuker, Elaine J.
Boston, Mass. ; London : Academic Press,
c1994.