Goodstein RL. Diophantine Equations in Recursive Difference. Math. Scand. 1964;15:43-48. doi:10.7146/math.scand.a-10725