Constructive analysis - Errett Bishop, Douglas Bridges (Springer-Verlag)