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