[1]
L. Chiarabini and O. Danvy, “A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration”, JFR, vol. 4, no. 1, pp. 85–109, Jan. 2011.