Computability, complexity, and languages Fundamentals of theoretical computer science - Davis Martin D.; Sigal Ron; Weyuker Elaine J. (Computer Science and Scientific Computing, 1994)