Constructive real analysis - Goldstein, Allen A. (Dover books on mathematics, 2012)