A first course in real analysis - Protter, Murray H.