\bibitem{CousotCousot92-2}
P.~Cousot and R.~Cousot.
\newblock Abstract Interpretation Frameworks.
\newblock \emph{Journal of Logic and Computation}, 
          2(4):511--547, August 1992.

@article{CousotCousot92-2,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Abstract Interpretation Frameworks},
   pages =     {511--547},
   journal =   {Journal of Logic and Computation},
   volume =    2,
   number =    4,
   month =     auf,
   year =      1992,
   publisher = {Oxford University Press, Oxford, UK},
}