Functional operators. - Von Neumann, John, 1903-1957 (Annals of mathematics studies, 1950)