1. Cousot, P., Cousot, R.: Static Determination of Dynamic Properties of Programs. In: Second Int. Symp. on Programming, Dunod, Paris, France, pp. 106–130 (1976)
2. Lecture Notes in Computer Science;P. Cousot,2005
3. Cousot, P., Cousot, R.: Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. In: JTASPEFL 1991, Bordeaux, vol. 74, pp. 107–110. BIGRE (1991)
4. Lecture Notes in Computer Science;A. Miné,2004
5. Lecture Notes in Computer Science;A. Miné,2006