W. D. Hart, «Natural Numbers», CRHF, vol. 23, n.º 69, pp. 61–81, dic. 2018.