Informatique
- "Les démonstrations et les algorithmes - introduction à la logique et à la calculabilité" de Gilles Dowek
- "Les principes des langages de programmation" de Gilles Dowek
- "Introduction à la théorie des langages de programmation" de Gilles Dowek