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