1. A. Church, ?An unsolvable problem of elementary number theory,? Amer. J. Math.,58, No. 2, 345?363 (1936).
2. V. A. Uspenskii, ?Computable operations,? Dokl. Akad. Nauk SSSR, 103, No. 5, 773?776 (1955).
3. V. A. Uspenskii, ?Systems of computable sets and their numerations,? Dokl. Akad. Nauk SSSR, 105, No. 6, 1155?1158 (1955).
4. V. A. Uspenskii, ?Computable operations and the concept of a program,? Uspekhi Matem. Nauk,11, No. 4, 172?176 (1956).
5. H. Rogers, ?Gödel numberings of partial recursive functions,? J. Symbolic Logic,23, No. 3, 331?341 (1958).