D. S. Bridges, “Constructivity in Mathematics”, CUBO, vol. 6, no. 1, pp. 209–258, Mar. 2004.