Papers of John von Neumann on computing and computer theory - Von Neumann, John 1903-1957 (MIT Press, 1987)