Constructive real analysis.
Goldstein, Allen A.
New York; London, 
1967.