Elements of real analysis. - Sprecher David A (1970)