Constructive real analysis - Goldstein, Allen A. (New York Harper and Row, 1967)
Keywords: Functions of real variables