Bridges, D. S. “Constructivity in Mathematics”. CUBO, A Mathematical Journal, vol. 6, no. 1, Mar. 2004, pp. 209–258, https://cubo.ufro.cl/ojs/index.php/cubo/article/view/1655.