F. Prida, J. Generalización del teorema de la forma normal de Kleene al caso de la recursividad relativa. Bol. Cent. Calc. Univ. Complut. 2015, N.º 30, 1-15.