R. L. Goodstein, “Permutation in recursive arithmetic”, Math. Scand., vol. 1, pp. 222–226, Dec. 1953.