First course in real analysis - Protter, M H (New York Springer, 1991)