PRIDA, J. F. Inseparabilidad recursiva y efectiva. Boletín del Centro de Cálculo de la Universidad Complutense, n. 38, p. 56–60, 6 ago.2015.