\bibitem{CousotCousot01-SSGRR}
P{.} Cousot and R{.} Cousot.
\newblock Compositional Separate Modular Static Analysis of Programs by
   Abstract Interpretation.
\newblock In \emph{Proceedings of the Second International Conference on
   Advances in Infrastructure for E-Business, E-Science and E-Education on the
   Internet, SSGRR 2001}, Compact disk, L'Aquila, Italy, 6--12 August, 2001. 
   Scuola Superiore G{.} Reiss Romoli.

@inproceedings{CousotCousot01-SSGRR,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Compositional Separate Modular Static Analysis of Programs 
                by Abstract Interpretation},
   booktitle = {Proceedings of the Second International Conference on Advances
                in Infrastructure for E-Business, E-Science and E-Education on the
                Internet, SSGRR 2001},
   address =   {Compact disk, L'Aquila, Italy},
   publisher = {Scuola Superiore G{.} Reiss Romoli},
   month =     {6--12 August, 2001},
   year =      2001,
}