R. L. Goodstein, “Diophantine Equations in Recursive Difference”., Math. Scand., vol. 15, pp. 43–48, Jun. 1964.