Goodstein, R. L. “Diophantine Equations in Recursive Difference”. Mathematica Scandinavica, vol. 15, June 1964, pp. 43-48, https://doi.org/10.7146/math.scand.a-10725.