1. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: The Astrée Static Analyzer, http://www.astree.ens.fr/
2. Lecture Notes in Computer Science;B. Blanchet,2002
3. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proceedings of the ACM SIGPLAN ’2003 Conference on Programming Language Design and Implementation (PLDI), San Diego, California, United States, June 7-14, 2003, pp. 196–207. ACM Press, New York (2003)
4. 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 (in French). In: Thèse d’État ès sciences mathématiques, Université scientifique et médicale de Grenoble, Grenoble, France, March 21, (1978)
5. Cousot, P.: Types as abstract interpretations. In: Conference Record of the Twentyfourth Annual ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages, Paris, France, January 1997, pp. 316–331. ACM Press, New York (1997)