Introduction to real analysis - Department of Mines and Geology (New York, 1988)