Bridges, D. S. Constructivity in Mathematics. CUBO 2004, 6, 209–258.