G. Moreno Socias, “Length of Polynomial Ascending Chains and Primitive Recursiveness”., Math. Scand., vol. 71, pp. 181–205, Jun. 1992.