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