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