Principles of real analysis - Aliprantis, Charalambos D (1998)