1. Adams, R. 1983. An Early History of Recursive Functions and Computability. From Gödel to Turing. Boston: Docent Press.
2. Bachimont, B. 1996. Signes formels at computation numérique. http://www.utc.fr/~bachimon/Publications_attachments/Bachimont.pdf.
3. ———. 2000. Engagement sémantique et engagement ontologique: conception et réalisation d’ontologies en ingénierie des connaissances. Ingénierie des connaissances: évolutions récentes et nouveaux défis 4: 305–323.
4. ———. 2010. Le sens de la technique: le numérique et le calcul. Paris: Encre Marine.
5. Bertin, J. 1983. Semiology of Graphics. Madison, WI: University of Wisconsin Press.