ASPERTI, Andrea; ARMENTANO, Cristian. A Page in Number Theory. Journal of Formalized Reasoning, [S. l.], v. 1, n. 1, p. 1–23, 2008. DOI: 10.6092/issn.1972-5787/385. Disponível em: https://jfr.unibo.it/article/view/385. Acesso em: 24 nov. 2024.