P. H. Paiola e H. de A. Feitosa, “Pseudolinguagem para caracterizar funções recursivas”, C. Q. D., vol. 14, fev. 2019.