Fernández-Prida de Carlos J. Funciones recursivas, máquinas de Turing. Tesis de Church. Bol. Cent. Calc. Univ. Complut. [Internet]. 8 de octubre de 2015 [citado 7 de diciembre de 2025];(8/9):63.