Fernández-Prida de Carlos, J. Funciones recursivas, máquinas de Turing. Tesis de Church. Bol. Cent. Calc. Univ. Complut. 2015, N.º 8/9, 63.