Computability & unsolvability - Davis, Martin (McGraw-Hill series in information processing and computers, 1982)