W. Aspray, John von Neumann and the origins of modern computing, 1990.

J. Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, vol.21, issue.8, pp.613-641, 1978.
DOI : 10.1145/359576.359579

M. Bullynck and L. Mol, Setting-up early computer programs: D. H. Lehmer???s ENIAC computation, Archive for Mathematical Logic, vol.21, issue.8, pp.123-146, 2010.
DOI : 10.1007/s00153-009-0169-8

URL : https://hal.archives-ouvertes.fr/hal-01396497

A. W. Burks and H. H. Goldstine, John Von Neumann Preliminary Discussion of the Logical Design of an Electronic Computer Instrument Vol. I, Part I of Report on the mathematical and logical aspects of an electronic computing instrument, 1946.

E. Paul and . Ceruzzi, A history of modern computing, 2002.

B. Haskell, Curry On the Use of Dots as Brackets in Logical Expressions Journal of Symbolic Logic, pp.26-28, 1937.

H. B. Curry, The combinatory foundations of mathematical logic, The Journal of Symbolic Logic, vol.7, issue.02, pp.49-64, 1942.
DOI : 10.1090/S0002-9947-1941-0005275-6

H. B. Curry, On the composition of programs for automatic computing, 1949.

H. B. Curry, A program composition technique as applied to inverse interpolation, 1950.

H. B. Curry, The logic of program composition, Applications scientifiques de la logique mathématique, Actes du 2e Coll. Int. de Logique Mathématique, pp.97-102, 1954.

H. B. Curry, Foundations of mathematical logic, 1963.

B. Haskell, W. A. Curry, and . Wyatt, A study of inverse interpolation of the Eniac, 1946.

W. B. Fritz, The women of ENIAC, IEEE Annals of the History of Computing, vol.18, issue.3, pp.13-28, 1996.
DOI : 10.1109/85.511940

H. Herman, J. Goldstine, and . Von-neumann, On the Principles of Large Scale Computing Machines, Lecture manuscript, pp.1-32, 1946.

H. Herman, J. Goldstine, and . Von-neumann, Planning and coding of problems for an electronic computing instrument Volume 2 of Report on the mathematical and logical aspects of an electronic computing instrument, part I,II and III, pp.1947-1995

H. Herman and . Goldstine, The Computer from. Pascal to von Neumann, 1972.

D. Grier-the and E. Verb, The ENIAC, the verb "to program" and the emergence of digital computers, IEEE Annals of the History of Computing, vol.18, issue.1, pp.51-55, 1996.
DOI : 10.1109/85.476561

D. R. Hartree, The ENIAC, an Electronic Computing Machine Nature, pp.500-506, 1946.

I. Iuri and . Ianov, On the equivalence and transformation of program schemes, Communications of the ACM, vol.1, issue.10, pp.8-12, 1958.

C. Stephen and . Kleene, Recursive predicates and quantifiers Transactions of the, pp.41-73, 1943.

E. Donald, L. T. Knuth, and . Pardo, Early development of programming languages, History of Computing in the Twentieth Century, pp.197-274, 1980.

H. Derrick, Lehmer A history of the sieve process, History of Computing in the Twentieth Century, pp.445-456, 1980.

S. Michael and . Mahoney, The histories of computing(s) Interdisciplinary science reviews, pp.119-135, 2005.

S. Michael and . Mahoney, What makes the history of software hard and why it matters. IEEE Annals for the history of computing, pp.8-18, 2008.

A. A. Markov, Theory of algorithms. Translated from the Russian edition The National Science FoundationC. and The Department of Commerce by The Israel Program for Scientific Translations, 1954.

L. De, M. , and M. Bullynck, A week-end off: The First Extensive Number-Theoretical computation on the ENIAC, Logic and Theory of Algorithms, CIE2008, pp.158-167, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01396832

L. De, M. , M. Bullynck, and M. Carlé, Haskell before Haskell: Curry's Contribution to Programming (1946-1950), Programs, Proofs, Processes, pp.108-117, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01396489

H. Neukom, The Second Life of ENIAC, IEEE Annals of the History of Computing, vol.28, issue.2, pp.4-16, 2006.
DOI : 10.1109/MAHC.2006.39

G. W. Patterson, Review of " The logic of program composition by H.B. Curry " . The Journal of Symbolic Logic, pp.102-103, 1957.

A. Rose, Lightning Strikes Mathematics: ENIAC Popular Science, pp.83-86, 1946.

S. Henry and . Tropp, Franz Alt, interview, pp.1969-1973, 1972.

S. Henry and . Tropp, Jean Bartik and Frances Holberton, interview, pp.1969-1973, 1973.

K. Zuse, Some Remarks on the History of Computing in Germany, History of Computing in the Twentieth Century, pp.611-627, 1980.
DOI : 10.1016/B978-0-12-491650-0.50045-9