COMPUTABILITY & UNSOLVABILITY - Davis,Martin (Mcgraw-Hill Book Company, 1958)