Computability and unsolvability - Davis, M. (McGraw-Hill Book Company, Inc, 1958)