Techniques of Constructive Analysis - Bridges, Douglas S.; Vîţă, Luminiţa Simona (Springer New York, 2006)