Archaelogy of computers: reminiscences, 1945-1947, Communications of the ACM, vol.15, issue.7, pp.693-694, 1945. ,
DOI : 10.1145/361454.361528
ENIAC-a problem solver, IEEE Annals of the History of Computing, vol.16, issue.1, pp.25-45, 1994. ,
DOI : 10.1109/85.251853
The computer. From Pascal to von Neumann, 1973. ,
DOI : 10.1515/9781400820139
Report on the Eniac, technical report I, 1946. ,
A logical coding system applied to the Eniac, BRL, vol.673, 1948. ,
The Second Life of ENIAC, IEEE Annals of the History of Computing, vol.28, issue.2, 2006. ,
DOI : 10.1109/MAHC.2006.39
Wer erfand den Von-Neumann-Rechner? Informatik- Spektrum 21, pp.84-89, 1998. ,
DOI : 10.1007/s002870050091
A week-end off. The first extensive numbertheoretical computation on the Eniac Computability in Europe 2008 Logic and Theory of Algorithms Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, Proceedings, Lecture Notes in Computer Science, pp.158-167, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01396832
First General-Purpose Electronic Computer, IEEE Annals of the History of Computing, vol.3, issue.4, pp.310-399, 1981. ,
DOI : 10.1109/MAHC.1981.10043
The Virtual Life of ENIAC: Simulating the Operation of the First Electronic Computer, IEEE Annals of the History of Computing, vol.28, issue.2, pp.18-25, 2006. ,
DOI : 10.1109/MAHC.2006.40
The electronic numerical integrator and computer (eniac), Mathematical Tabels and Other Aids to Computation, pp.97-110, 1946. ,
The Eniac, an Electronic Computing Machine, Nature, vol.158, issue.4015, pp.500-506, 1946. ,
DOI : 10.1038/158500a0
The Eniac history , operation and reconstruction in VLSI, The First Computers?History and Architectures, pp.121-178, 2000. ,
A Java simulation of the Eniac, 2004. ,
Exploring the architecture of an early machine: the historical relevance of the ENIAC machine architecture, IEEE Annals of the History of Computing, vol.18, issue.1, pp.17-24, 1996. ,
DOI : 10.1109/85.476558
The Laminar Boundary Layer in Compressible Flow, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.241, issue.827, pp.1-69, 1948. ,
DOI : 10.1098/rsta.1948.0008
Planning and coding problems for an electronic computing instrument Institute for Advanced Study, John von Neumann, Collected Works, pp.80-151, 1947. ,
The logic of program composition In: Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, pp.25-30, 1954. ,
The early development of programming languages, pp.419-496, 1979. ,
A History of the Sieve Process, History of Computing in the Twentieth Century, pp.445-456, 1980. ,
DOI : 10.1016/B978-0-12-491650-0.50030-7
Tests for primality by the converse of Fermat's theorem, Bulletin of the American Mathematical Society, vol.33, issue.3, pp.327-340, 1927. ,
DOI : 10.1090/S0002-9904-1927-04368-3
On the Converse of Fermat's Theorem, The American Mathematical Monthly, vol.43, issue.6, pp.347-354, 1936. ,
DOI : 10.2307/2301798
Maurice Kraitchik, Recherches sur la Th'eorie des Nombres , v. 1, paris, 1924 (errata), Mathematical tables and other aids to Computation, p.313, 1947. ,
On the factors of $2^n \pm 1$, Bulletin of the American Mathematical Society, vol.53, issue.2, pp.164-167, 1947. ,
DOI : 10.1090/S0002-9904-1947-08774-7
On the Converse of Fermat's Theorem II, The American Mathematical Monthly, vol.56, issue.5, pp.300-309, 1949. ,
DOI : 10.2307/2306041
Calculating instruments and machines, 1949. ,
A Comparison of Various Computing Machines Used in the Reduction of Doppler Observations, Mathematical Tables and Other Aids to Computation, vol.3, issue.25, pp.373-377, 1949. ,
DOI : 10.2307/2002359
The influence of computing on mathematical research and education, Proceedings of Symposia in Applied Mathematics, pp.3-12, 1974. ,
Influence of programming techniques on the design of computers, Proceedings of the IRE pp, pp.1250-1254, 1953. ,
DOI : 10.1109/5.558722
Notes on structured programming, Structured Programming, pp.1-82, 1972. ,
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-678, 1978. ,
DOI : 10.1145/359576.359585