Rieu-Helft, Raphael. “A Why3 Proof of GMP Algorithms”. Journal of Formalized Reasoning 12, no. 1 (January 1, 2019): 53–97. Accessed April 26, 2024. https://jfr.unibo.it/article/view/9730.