Asperti, Andrea, and Cristian Armentano. “A Page in Number Theory”. Journal of Formalized Reasoning, vol. 1, no. 1, Jan. 2008, pp. 1-23, doi:10.6092/issn.1972-5787/385.