@article {934535,
	title = {Setting-up early computer programs: D. H. {L}ehmer{\textquoteright}s ENIAC computation},
	journal = {Archive for Mathematical Logic},
	volume = {49},
	number = {2},
	year = {2010},
	pages = {123{\textendash}146},
	abstract = {<p>A complete reconstruction of Lehmer{\textquoteright}s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).</p>},
	issn = {1432-0665},
	url = {http://dx.doi.org/10.1007/s00153-009-0169-8},
	author = {Bullynck, Maarten and De Mol, Liesbeth},
	editor = {Beckmann, Arnold and Dimitracopoulos, Costas and L{\"o}we, Benedikt}
}
