Techniques of Constructive Analysis - Bridges, Douglas S. (Springer New York, 2006)