(1)
Goodstein, R. L. Diophantine Equations in Recursive Difference. Math. Scand. 1964, 15, 43-48.