R. L. Goodstein, “Permutation in recursive arithmetic”, Math. Scand., vol. 1, pp. 222–226, Dec. 1953, doi: 10.7146/math.scand.a-10380.