Interprétation abstraite.
In Numéro spécial de Technique et science informatique, Informatiques, enjeux, tendances et évolutions, sous la direction de René Jacquart, Vol. 19, Nb 1-2-3, Jan. 2000, pp. 155-164. Éditions Hermès science, Paris.
\bibitem{Cousot00-TSI}
P.~Cousot.
\newblock Interpr\'etation abstraite.
\newblock \emph{Technique et science informatique},, Vol.\ 19,
Nb.\ 1-2-3, pages 155--164, \'Editions Herm\`es, Paris,
Jan.\ 2000.
@article{Cousot00-TSI,
author = {Cousot, P{.}},
title = {Interpr\'etation abstraite},
pages = {155--164},
journal = {Technique et science informatique},
address = {Paris, France},
publisher = {Herm\`es},
volume = 19,
number = {1-2-3},
month = jan,
year = 2000,
isbn = {2-7462-0098-8},
}