FERNÁNDEZ-PRIDA DE CARLOS, J. Funciones recursivas, máquinas de Turing. Tesis de Church. Boletín del Centro de Cálculo de la Universidad Complutense, n. 8/9, p. 63, 8 oct.2015.