Functional operators - Von Neumann, John (Princeton University Press, 1950)