Functional operators : measures and integrals / vol. 1. - Neumann, John von (Princeton : Princeton University Press, 1950)