Collected works - Von Neumann, John 1903-1957 (Pergamon Pr., 1961)