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