Functional operators - Von Neumann, John 1903-1957