Chiarabini, Luca, and Olivier Danvy. “A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration”. Journal of Formalized Reasoning 4, no. 1 (January 1, 2011): 85–109. Accessed August 18, 2022. https://jfr.unibo.it/article/view/2225.