Asperti, Andrea, and Cristian Armentano. “A Page in Number Theory”. Journal of Formalized Reasoning 1, no. 1 (January 1, 2008): 1–23. Accessed April 25, 2024. https://jfr.unibo.it/article/view/385.