Y. Bertot and G. Allais, “Views of PI: Definition and computation”, JFR, vol. 7, no. 1, pp. 105–129, Jan. 2014.