Setting-up early computer programs: D. H. Lehmer’s ENIAC computation. - Bullynck, Maarten; De Mol, Liesbeth (Archive for Mathematical Logic, 2010)