@article{JLC92,
   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},
}