An introduction to real analysis. - Ball, Derek G.