Pseudolinguagem Para Caracterizar funções Recursivas. C. Q. D. 2019, 14.