Foundation of analysis - David F. Belding (Prentice Hall, 1991)