First course in analysis - Pedrick, George (New York, 2004)