J. P. Van Bendegem, “Classical arithmetic is quite unnatural”, LLP, no. 11-12, pp. 231–249, Nov. 2003.