Moreno Socias, Guillermo. “Length of Polynomial Ascending Chains and Primitive Recursiveness”. MATHEMATICA SCANDINAVICA 71 (June 1, 1992): 181–205. Accessed December 5, 2025. https://www.mscand.dk/article/view/12421.