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