Practical Analysis in One Variable by Donald Estep