Constructive real analysis - Goldstein, Allen A (Harper International, 1967)