J. P. Anderson, S. H. Hoffman, W. Shiman, and R. J. , The D-825, a multiple-computer system for command & control, Fall Joint Computer Conference (AFIPS), pp.86-96, 1962.

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

D. M. Berry, The Philosophy of Software ? Code and Meditation in the Digital Age, 2011.

R. Binns, Algorithmic Accountability and Public Reason, Philosophy & Technology, vol.41, issue.1, 2017.
DOI : 10.1177/0162243915605575

URL : https://doi.org/10.1007/s13347-017-0263-5

A. Brennecke and R. Slawik, History of Software Engineering Dagstuhl seminar 9635 Uber's first self-driving fleet arrives in Pittsburgh this month, Bloomberg Businesweek, 1996.

B. J. Copeland and G. Sommaruga, The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?, Turing's Revolution, pp.43-101, 2015.
DOI : 10.1007/978-3-319-22156-4_3

E. G. Daylight, Towards a historical notion of 'Turing-the father of computer science'. History and Philosophy of Logic, pp.205-228, 2015.

D. Mol, L. Carlé, M. Bullynck, and M. , 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-01396482

D. Mol, L. Bullynck, and M. E. Daylight, Less is more in the Fifties. Encounters between Logical minimalism and computer design during the 1950s Available from: hal.univ-lille3 How to Hold Algorithms Accountable, MIT Technology Review, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01345592

E. W. Dijkstra, The humble programmer, Communications of the ACM, vol.15, issue.10, pp.859-866, 1972.
DOI : 10.1145/355604.361591

URL : http://dl.acm.org/ft_gateway.cfm?id=361591&type=pdf

N. Ensmenger, The computer boys take over, 2010.
DOI : 10.7551/mitpress/9780262050937.001.0001

J. H. Fetzer, Program verification: the very idea, Communications of the ACM, vol.31, issue.9, pp.1048-1063, 1988.
DOI : 10.1145/48529.48530

H. H. Goldstine and J. 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, 1947-48, 1947.

H. H. Goldstine and J. Von-neumann, On the principles of large scale computing machines, Papers of John von Neumann on computing and computer theory, pp.317-348, 1946.
DOI : 10.1090/pspum/050/1067758

D. A. Grier, The ENIAC, the verb 'to program' and the emergence of digital computers IEEE Annals for the history of computing, pp.51-55, 1996.

T. Haigh, Dijkstra's crisis: The end of Algol and the beginning of software engineering: 1968-72' in: Workshop on the history of software, European styles, 2010.

T. Haigh, M. Priestley, and C. Rope, Reconsidering the Stored-Program Concept, IEEE Annals of the History of Computing, vol.36, issue.1, pp.4-17, 2014.
DOI : 10.1109/MAHC.2013.56

T. Haigh, M. Priestley, . Rope, and . Cr, Eniac in action. Making and remaking the modern computer, 2016.
DOI : 10.7551/mitpress/9780262033985.001.0001

T. Haigh and M. Priestley, Where code comes from, Communications of the ACM, vol.59, issue.1, pp.39-44, 2016.
DOI : 10.1145/2846088

U. Hashagen, R. Keil-slawik, and A. L. Norberg, History of Computing: Software Issues, 2002.
DOI : 10.1007/978-3-662-04954-9

G. Hopper, Keynote address Wexelblat, History of Programming Languages, pp.7-24, 1980.

D. A. Mackenzie, Mechanizing Proof ? Computing, Risk, and Trust, 2004.

M. Mahoney, What makes the history of software hard? IEEE Annals for the history of Computing, pp.8-18, 2008.

B. D. Mittelstadt, P. Allo, M. Taddeo, S. Wachter, and L. Floridi, The ethics of algorithms: Mapping the debate, Big Data & Society, vol.13, issue.3, pp.1-21, 2016.
DOI : 10.1177/0162243915605575

P. G. Neumann, Trustworthiness and truthfulness are essential, Communications of the ACM, vol.60, issue.6, pp.1-3, 2017.
DOI : 10.1145/3084344

D. Nofre, M. Priestley, and G. Alberts, When Technology Became Language: The Origins of the Linguistic Conception of Computer Programming, 1950???1960, Technology and Culture, vol.55, issue.1, pp.40-75, 2014.
DOI : 10.1353/tech.2014.0031

G. Primiero and J. Boender, Managing Software Uninstall with Negative Trust, Trust Management XI - 11th IFIP WG 11.11 International Conference, IFIPTM 2017, IFIP Advances in Information and Communication Technology, pp.79-93, 2017.
DOI : 10.1007/s10796-005-4807-3

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

G. Primiero, F. Raimondi, T. Chen, and R. Nagarajan, A Proof-Theoretic Trust and Reputation Model for VANET, 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), pp.146-152, 2017.
DOI : 10.1109/EuroSPW.2017.64

E. S. Raymond, The art of Unix programming, 2003.

A. Silberschatz, P. B. Galvin, and G. Gagne, Operating system concepts, 2011.

C. Strachey, Fundamental Concepts in Programming Languages, Higher- Order and Symbolic Computation, pp.11-49, 1967.

M. Taddeo, Trusting Digital Technologies Correctly. Minds & Machines, 2017.
DOI : 10.1007/s11023-017-9450-5

A. S. Tanenbaum, Modern Operating Systems, 2008.

M. Tedre, The science of Computing. Shaping a discipline, 2015.

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

M. V. Wilkes, D. J. Wheeler, and S. Gill, The preparation of programs for an electronic computer, 1951.

M. Wilkes and B. Stringer, Micro-programming and the design of the control circuits in an electronic digital computer, Mathematical Proceedings of the Cambridge Philosophical Society, vol.49, issue.02, pp.230-238, 1953.
DOI : 10.1017/S0305004100028322

N. Wirth, A plea for lean software Computer, pp.64-68, 1995.
DOI : 10.1109/2.348001