Functional Operators Volume I: Measures and Integrals - Von Neumann, John