F. Prida, José. 2015. Generalización del teorema de la forma normal de Kleene al caso de la recursividad relativa. Boletín del Centro de Cálculo de la Universidad Complutense, 30, 1–15. Recuperado 11 de marzo de 2026 a partir de https://revistas.ucm.es/index.php/BCCU/article/view/49949