1. Autebert Jean-Michel, Berstel Jean, Boasson Luc (1997). Context-free languages and pushdown automata. Handbook of formal languages, vol. 1, Springer-Verlag, pp. 111‑174.
2. Bachimont Bruno (2004a). Arts et Sciences du numérique : ingénierie des connaissances et critique de la raison computationnelle. Habilitation à diriger des recherches. Université de Technologie de Compiègne, 12 janvier 2004.
3. Bachimont Bruno (2004b). Signes formels et computation numérique : entre intuition et formalisme. In H. Schramm, L. Schwarte & J. Lazardzig éds., Instrumente in Kunst und Wissenschaft - Zur Architektonik kultureller Grenzen im 17. Jahrhundert. Berlin, Walter de Gruyter Verlag. URL : http://www.utc.fr/~bachimon/Publications_attachments/Bachimont.pdf Consulté le 17 mai 2021.
4. Bachimont Bruno (2016). Traces, calcul et interprétation : de la mesure à la donnée. Azimuth: Philosophical Coordinates in Modern and Contemporary Ages, IV (7), pp. 13‑36.
5. Bachimont Bruno (2010). Le numérique comme support de connaissance : entre matérialisation et interprétation. In G. Gueudet & L. Trouche éds., Ressources vives, le travail document aire des professeurs en mat hématiques. Rennes, Presses Universitaires de Rennes et Institut National de Recherche Pédagogique, pp. 75‑90.