Usages et usagers de l'information numérique. Revue française des sciences de l'information et de la communication, 2015. ,
, Signes formels et computation numérique : entre intuition et formalisme, 2006.
Bootstrapping: Douglas Engelbart, Coevolution, and the Origin of Personal Computing, Writing Science Series, 2000. ,
Une histoire de l'informatique, La Découverte, 1987. ,
Les approches sociotechniques dans la sociologie des usages en SIC. Revue française des sciences de l'information et de la communication, 2015. ,
The Closed World, 1996. ,
Le Système technicien, Calmann-Lévy, 1977. ,
, Proofs of Work and Bread Pudding Protocols. Comms and Multimedia Security'99, 1999.
, Chromatic Algorithms, 2015.
, Turing, Les Belles lettres, 1998.
Manuscrits de 1857-1858 dits « Grundrisse ». Éditions sociales, 2011. ,
Le Capital livre I, Le développement de la production capitaliste. Éditions sociales, 2015. ,
, Conception et programmation orientées objet. Éditions Eyrolles, 2000.
Bitcoin: A Peer-to-Peer Electronic Cash System, Social Studies of Science, vol.14, pp.399-441, 1945. ,
Temps, travail et domination sociale, 2009. ,
Une théorie sociétale des TIC, 2009. ,
L'impensé informatique. Éditions des archives contemporaines, 2012. ,
Critique de la logique de la "gestionnarisation, pp.209-222, 2014. ,
, Gouvernementalité algorithmique et perspectives d'émancipation. Réseaux, vol.31, pp.163-196, 2013.
La pensée marchandise, Éditions du Croquant, 2010. ,
Les investissements de forme, Conventions économiques, pp.21-71, 1986. ,
On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, vol.2, pp.230-265, 1936. ,