Approximations of functions on the integers.

[1]  Martin D. Davis,et al.  Computability and Unsolvability , 1959, McGraw-Hill Series in Information Processing and Computers.

[2]  R. Friedberg.  Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication , 1958, Journal of Symbolic Logic.

[3]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .