An introduction to analysis - Wade, W. R. (Prentice Hall, 2000)