j'ai besoin de ce livre qui s'intitule : Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis, chapter 2, pages 35–135. Springer, 2nd edition, 2005 Merci d'avance