Computability, complexity, and languages : fundamentals of theoretical computer science - Davis, Martin (Computer science and applied mathematics., 1983)