Techniques of Constructive Analysis (Universitext)