John von Neumann : - Von Neumann, John, 1903-1957 (Pergamon Press, 1961)