Principles of real analysis - Aliprantis, Charalambos D; Burkinshaw, Owen (North Holland, 1981)