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 5 de febrero de 2026];(8/9):63.