Constructive analysis - Bishop, Errett 1928-1983 (Springer-Verlag, 1985)