Foundations of Analysis by David F. Belding & Kevin J. Mitchell