Constructive real analysis - Goldstein, Allen A. (Harper and Row, 1967)