Bertot, Yves, and Guillaume Allais. “Views of PI: Definition and Computation”. Journal of Formalized Reasoning 7, no. 1 (January 1, 2014): 105–129. Accessed January 31, 2025. https://jfr.unibo.it/article/view/4343.