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