\bibitem{Cousot01-SSGRR}
P{.} Cousot.
\newblock Program Static Analysis: A Brief Introduction with Applications
to the Internet.
\newblock Closing Keynote of the {\em Second International Conference on
Advances in Infrastructure for E-Business, E-Science and E-Education on the
Internet, SSGRR 2001}, L'Aquila, Italy, 6--12 August, 2001.  Scuola
Superiore G{.} Reiss Romoli.

@inproceedings{Cousot01-SSGRR,
   author =    {Cousot, P{.}},
   title =     {Program Static Analysis: A Brief Introduction with Applications 
                to the Internet},
   booktitle = {Second International Conference on Advances in Infrastructure
                for E-Business, E-Science and E-Education on the Internet, SSGRR 2001},
   address =   {L'Aquila, Italy},
   publisher = {Scuola Superiore G{.} Reiss Romoli},
   month =     {6--12 August, 2001},
   year =      2001,
}