Prida, J. F. Inseparabilidad recursiva y efectiva. Bol. Cent. Calc. Univ. Complut. 2015, N.º 38, 56-60.