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