2019. Pseudolinguagem para caracterizar funções recursivas. C.Q.D. - Revista Eletrônica Paulista de Matemática. 14, (fev. 2019).