Techniques of Constructive Analysis - Bridges, Douglas S.; Ribet, K. A.; Vita, Luminita Simona (Springer New York, 2006)