Functional analysis and valuation theory - Narice, Lawrence (Pure and applied mathematics, 1971)