Analysis: With an introduction to proof - Lay, Steven R (New Jersey Prentice Hall, 1990)