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