Fernández-Prida de Carlos, J. (2015): «Funciones recursivas, máquinas de Turing. Tesis de Church», Boletín del Centro de Cálculo de la Universidad Complutense, (8/9), p. 63. Disponible en: https://revistas.ucm.es/index.php/BCCU/article/view/50578 (Accedido: 7 diciembre 2025).