Publications
“Setting-Up Early Computer Programs: D. H. Lehmer's Eniac Computation” . Archive for Mathematical Logic 49: 123–146. http://dx.doi.org/10.1007/s00153-009-0169-8.
. 2010. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, . Springer Verlag.
. 2008.