1. Cousot, P.: Méthodes itératives de construction et d’approximation de points fixes d’opérateurs monotones sur un treillis, analyse sémantique de programmes. Thèse d’État ès sciences mathématiques, Université scientifique et médicale de Grenoble, Grenoble (1978)
2. Cousot, P.: Semantic foundations of program analysis. In Muchnick, S., Jones, N., eds.: Program Flow Analysis: Theory and Applications. Prentice-Hall (1981) 303–342
3. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th POPL, Los Angeles, ACM Press (1977) 238–252
4. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In:6th POPL, San Antonio, ACM Press (1979) 269–282
5. Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Logic and Comp. 2 (1992) 511–547