Functional operators - Von Neumann, John 1903-1957 (Princeton Univ. Press, 1956)