Functional operators I : MEASURES AND INTEGRALS - Neumann, John von (Princeton University Press, 1950)