CHIARABINI, L.; DANVY, O. A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration. Journal of Formalized Reasoning, [S. l.], v. 4, n. 1, p. 85–109, 2011. DOI: 10.6092/issn.1972-5787/2225. Disponível em: https://jfr.unibo.it/article/view/2225. Acesso em: 18 aug. 2022.