Goodstein, R. L. (1953) “Permutation in recursive arithmetic”, MATHEMATICA SCANDINAVICA, 1, pp. 222–226. doi: 10.7146/math.scand.a-10380.