Publications
“On The Curious Historical Coincidence Of Algebra And Double-Entry Bookkeeping” . Foundations of the formal sciences VII : bringing together philosophy and sociology of science 32: 109–130. http://www.collegepublications.co.uk/logic/?00021.
. 2011. “Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” . Foundations of the Formal Sciences: 61–90.
. 2011. “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.