Foundations of modern analysis - Friedman, Avner (1982)