Introduction à la théorie des langages de programmation — Bertrand Meyer