I. F. Centenaro e M. H. F. Centenaro, “Aplicação da Teoria das Funções Recursivas ao sistema lógico aritmética elementar”, CeN, vol. 6, nº 6, p. 23–30, dez. 1984.