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