Computability, complexity, and languages : fundamentals of theoretical computer science - Davis, Martin D. (Computer science and scientific computing :, 1994)