Real analysis a constructive approach - Bridger, Mark (Wiley-Interscience, 2007)