Asperti, A. and Armentano, C. (2008) “A Page in Number Theory”, Journal of Formalized Reasoning, 1(1), pp. 1–23. doi: 10.6092/issn.1972-5787/385.