International Thomson publishing France, 1996. — 753 p.
La première partie de ce livre introduit très progressivement le lecteur aux joies de la programmation avec Scheme (ou Lisp). On y trouve aussi des ouvertures sur des sujets variés : fractals, jeux, vie artificielle... La seconde partie présente la théorie et l'implémentation des principaux concepts utiles à un programmeur : automates finis, analyze lexicale et syntaxique, formatage, systèmes experts, Prolog, logique, lambda calcul, sémantique, interprétation, compilation...
Cet ouvrage de référence est utilisable tout au long d'un cursus informatique.