Prida, José F. «Inseparabilidad Recursiva Y Efectiva». Boletín del Centro de Cálculo de la Universidad Complutense, no. 38 (agosto 6, 2015): 56–60. Accedido noviembre 26, 2024. https://revistas.ucm.es/index.php/BCCU/article/view/49763.