2 works on record
Techniques of constructive analysis
Techniques of Constructive Analysis (Universitext)