Bibliographic reference:
\bibitem{CousotCousotMauborgne-FSE10}
Patrick Cousot, Radhia Cousot, and Laurent Mauborgne.
\newblock Logical abstract domains and interpretations.
\newblock In S.~Nanz, editor, {\em The Future of Software Engineering}, 48--71.
Springer-Verlag, Heidelberg, 2010.
@incollection{CousotCousotMauborgne-FSE10,
author = "Patrick Cousot and Radhia Cousot and Laurent Mauborgne",
title = "Logical Abstract Domains and Interpretations",
booktitle = "The Future of Software Engineering",
editor = "S. Nanz",
publisher = "Springer-Verlag",
address = "Heidelberg",
pages = "48--71",
year = 2010,
}