COMPUTABILITY & UNSOLVABILITY - Davis, Martin (N. Y. Mcgraw-Hill, 1958)
Keywords: Recursive Functions