Treatise on analysis - Dieudonne, J. (Academic Press, 1972)