Bridges, D.S. 2004. Constructivity in Mathematics. CUBO, A Mathematical Journal. 6, 1 (Mar. 2004), 209–258.