Techniques of Constructive Analysis by Douglas S. Bridges & Luminita Simon Vita