Centenaro, I. F., and M. H. F. Centenaro. “Recursive Function Theory Applied to the Logical System Elementar Arythmetic”. Ciência E Natura, vol. 6, no. 6, Dec. 1984, pp. 23-30, doi:10.5902/2179460X25032.