von Neumann, John: Planing and Coding Problems for an Electronic Computing Instrument, Princeton 1947