W. D. Hart, “Natural Numbers”, CRHF, vol. 23, no. 69, pp. 61–81, Dec. 2018.