• A4 landscape .pdf (2.3 Mo) and compressed .pdf.gz (470 Ko) and for viewing with Acrobate Reader and compressed PostScript .ps.gz (6 Mo) for viewing with Ghostview or printing;
• 4 slides per A4 landscape sheet in .ps.gz format for printing in color (3.3 Ko) or in black & white (2.3 Mo).

\bibitem{CousotCousot02-NYU}
P{.} Cousot and R{.} Cousot.
\newblock Formalization of Program Transformation by Abstract
Interpretation.
\newblock \emph{Computer Science Department, Courant Institute of Applied
Mathematics, New York, N.Y., U.S.A.}, January 11, 2001.

@unpublished{CousotCousot02-NYU,
   author =  {P{.} Cousot and R{.} Cousot},
   title = {Formalization of Program Transformation by Abstract
   Interpretation},
   note = {\emph{Computer Science Department, Courant Institute of Applied
   Mathematics, New York, N.Y., U.S.A., January 11, 2001},
}