Goodstein, R. L. Diophantine Equations in Recursive Difference. Math. Scand. 1964, 15, 43-48. https://doi.org/10.7146/math.scand.a-10725.