M. Campbell-kelly, Alan Turing's other universal machine, Communications of the ACM, vol.55, issue.7, pp.31-33, 2012.
DOI : 10.1145/2209249.2209277

A. Wesley and . Clark, Oral history interview by, 1990.

A. Wesley and . Clark, The logical structure of digital computers, 1955.

A. Wesley and . Clark, The Lincoln TX-2 computer development, Proceedings WJCC, pp.43-145, 1957.

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, A program composition technique as applied to inverse interpolation, 1950.

M. Davis, Engines of Logic: Mathematicians and the Origin of the, Computer. W.W. Norton and Company, 2001.

E. G. Daylight, Interview with Van der Poel in, 2010.

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

A. Hodges, M. Alan, and . Turing, The enigma, Republication, 1983.

E. Kranakis, Early Computers in The Netherlands. CWI-Quarterly, pp.61-274

L. De-mol, M. Bullynck, and M. Carlé, Haskell before Haskell. Curry's contribution to a theory of programming, Programs, Proofs, Processes, Computability in Europe, pp.108-117, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01396489

L. De-mol, M. Bullynck, and M. Carle, Haskell before Haskell: an alternative lesson in practical logics of the ENIAC, Journal of Logic and Computation, vol.25, issue.4, pp.1011-1046, 2015.
DOI : 10.1093/logcom/exs072
URL : https://hal.archives-ouvertes.fr/hal-01510360

L. , D. Mol, and G. Primiero, Facing computing as technique: Towards a history and philosophy of computing, Philosophy and Technology, vol.27, pp.321-326, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01356336

M. Liesbeth-de, Generating, solving and the human mind. emil post's views on computation, A computable universe, Understanding Computation & Exploring Nature As Computation, pp.45-62

E. F. Moore, A simplified universal Turing machine, Proceedings of the 1952 ACM national meeting (Toronto) on , ACM '52, pp.50-54, 1952.
DOI : 10.1145/800259.808993

. Annalen, Republished and translated in J. van Heijenoort, From Frege to Gödel: A source book in Mathematical Logic, pp.305-316, 1924.

C. E. Shannon, A Universal Turing Machine with Two Internal States, Automata Studies, pp.157-166, 1956.
DOI : 10.1515/9781400882618-007

A. M. Turing, On computable numbers with an application to the Entscheidungsproblem A correction to the paper was published in the same journal, Proceedings of the London Mathematical Society, pp.230-265, 1937.

A. M. Turing, Lecture to the London Mathematical Society on 20 february 1947, A.M. Turing's ACE Report of 1946 and Other papers, pp.106-124, 1947.

A. Van-den and . Bogaard, Stijlen van programmeren 1952?1972, Studium, vol.2, pp.128-144, 2008.

W. Van, Inzending 1946/47 van Van der Poel op de prijsvraag genaamd " 1+1=10, 1948.

L. Willem and . Van, A simple electronic digital computer, Applied Scientific Research Section B, vol.2, pp.367-400, 1952.

W. L. Van, A simple electronic digital computer, Appl. sci. Res, vol.2, pp.367-399, 1952.

W. L. Van, The Logical Principles of Some Simple Computers, 1956.

W. L. Van, Digitale Informationswandler, chapter Microprogramming and trickology, pp.269-311, 1961.

W. L. Van, Een leven met computers, TU Delft, 1988.

C. J. Verhagen, Rekenmachines in Delft, 1960.

H. Wang, A Variant to Turing's Theory of Computing Machines, Journal of the ACM, vol.4, issue.1, pp.63-92, 1957.
DOI : 10.1145/320856.320867