G. S. Ceitin, Algorithmic operators in constructive metric spaces English translation, Trudy Matematiki Instituta Steklov, vol.67, issue.64 1, pp.295-3611, 1962.

R. M. Friedberg, Un contre-exemple relatif aux fonctionnelles récursives. Comptes Rendus de l, Académie des Sciences, vol.247, issue.1, pp.852-854, 1958.

M. Hoyrup and C. Rojas, On the Information Carried by Programs About the Objects they Compute, 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015 Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.447-459, 2015.
DOI : 10.1007/s00224-016-9726-9
URL : https://hal.archives-ouvertes.fr/hal-01067618

D. [. Kreisel, J. R. Lacombe, and . Schoenfield, Fonctionnelles récursivement définissables et fonctionnelles récursives, Comptes Rendus de l'Académie des Sciences, pp.399-402, 1957.

M. Li and P. M. Vitanyi, An Introduction to Kolmogorov Complexity and Its Applications, 1993.
DOI : 10.1007/978-0-387-49820-1

H. G. Rice, Classes of recursively enumerable sets and their decision problems. Transactions of the, pp.358-366, 1953.

N. Shapiro, Degrees of computability. Transactions of the, pp.281-299, 1956.