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