Bartle, Robert G.: The elements of real analysis. New York : Wiley, 1976