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