Centenaro, I. F. and Centenaro, M. H. F. (1984) “Recursive function theory applied to the logical system elementar arythmetic”, Ciência e Natura, 6(6), pp. 23–30. doi: 10.5902/2179460X25032.