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.

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

H. Herman, J. Goldstine, and . Von-neumann, Planning and coding of problems for an electronic computing instrument part I,II and III, 1947-48

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

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

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

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

S. Henry and . Tropp, Franz Alt interview, 1972.