I. F. Centenaro and M. H. F. Centenaro, “Recursive function theory applied to the logical system elementar arythmetic”, CeN, vol. 6, no. 6, pp. 23–30, Dec. 1984.