The D-825, a multiple-computer system for command & control, Fall Joint Computer Conference (AFIPS), pp.86-96, 1962. ,
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
The Philosophy of Software ? Code and Meditation in the Digital Age, 2011. ,
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
History of Software Engineering Dagstuhl seminar 9635 Uber's first self-driving fleet arrives in Pittsburgh this month, Bloomberg Businesweek, 1996. ,
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
Towards a historical notion of 'Turing-the father of computer science'. History and Philosophy of Logic, pp.205-228, 2015. ,
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
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
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
The computer boys take over, 2010. ,
DOI : 10.7551/mitpress/9780262050937.001.0001
Program verification: the very idea, Communications of the ACM, vol.31, issue.9, pp.1048-1063, 1988. ,
DOI : 10.1145/48529.48530
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. ,
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
The ENIAC, the verb 'to program' and the emergence of digital computers IEEE Annals for the history of computing, pp.51-55, 1996. ,
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. ,
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
Eniac in action. Making and remaking the modern computer, 2016. ,
DOI : 10.7551/mitpress/9780262033985.001.0001
Where code comes from, Communications of the ACM, vol.59, issue.1, pp.39-44, 2016. ,
DOI : 10.1145/2846088
History of Computing: Software Issues, 2002. ,
DOI : 10.1007/978-3-662-04954-9
Keynote address Wexelblat, History of Programming Languages, pp.7-24, 1980. ,
Mechanizing Proof ? Computing, Risk, and Trust, 2004. ,
What makes the history of software hard? IEEE Annals for the history of Computing, pp.8-18, 2008. ,
The ethics of algorithms: Mapping the debate, Big Data & Society, vol.13, issue.3, pp.1-21, 2016. ,
DOI : 10.1177/0162243915605575
Trustworthiness and truthfulness are essential, Communications of the ACM, vol.60, issue.6, pp.1-3, 2017. ,
DOI : 10.1145/3084344
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
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
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
The art of Unix programming, 2003. ,
Operating system concepts, 2011. ,
Fundamental Concepts in Programming Languages, Higher- Order and Symbolic Computation, pp.11-49, 1967. ,
Trusting Digital Technologies Correctly. Minds & Machines, 2017. ,
DOI : 10.1007/s11023-017-9450-5
Modern Operating Systems, 2008. ,
The science of Computing. Shaping a discipline, 2015. ,
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. ,
The preparation of programs for an electronic computer, 1951. ,
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
A plea for lean software Computer, pp.64-68, 1995. ,
DOI : 10.1109/2.348001