Introduction to analysis - Gaur, A. C. (Rhode Island, 2010)