Functional operators.
Von Neumann, John,1903-1957.
Princeton,
1950.