Computers Ltd: What They Really Can't Do by David Harel, Oxford University Press.
Algorithmics : The Spirit of Computing (3rd Edition) by David Harel, Yishai Feldman, Addison-Wesley.
The Science of Computing: Exploring the Nature and Power of Algorithms, David Harel, Addison-Wesley.
Le Théorème de Gödel, Ernest Nagel, James Newmann, Kurt Gödel, Jean-Yves Girard, Points sciences.
Gödel, Escher, Bach, les brins d'une guirlande éternelle - Gödel, Escher, Bach: An Eternal Golden Braid, Douglas Hofstadter.
La Machine de Turing, Alan Turing, Jean-Yves Girard, Points sciences.
Decrypted Secrets, Methods and Maxims of Cryptology, Friedrich L. Bauer, Springer.
Les compilateurs : théorie, construction, génération, Wilhelm, Masson.
Modern Compiler Implementation in {Java, C, ML}, Appel, Cambridge University Press.