Goodstein, R. L. “Permutation in Recursive Arithmetic”. Mathematica Scandinavica 1 (December 1, 1953): 222–226. Accessed September 8, 2026. https://journals.msp.org/mscand/article/view/2939.