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, no. 8/9 (octubre 8, 2015): 63. Accedido febrero 17, 2025. https://revistas.ucm.es/index.php/BCCU/article/view/50578.