Elementary calculus from an advanced viewpoint - Thomas, George Brinton 1914-2006 (Addison-Wesley, 1967)