@inproceedings{GRS98a,
   author =    {R. Giacobazzi and F. Ranzato and F. Scozzari},
   title =     {Complete abstract interpretations made constructive},
   booktitle = {Proc.\ of the 23rd International Symposium on 
               Mathematical Foundations of Computer Science, MFCS'98},
   year =      1998,
   series =    {Lecture Notes in Computer Science},
   editor = {L. Brim and J. Gruska and J. Zlatuska},
   publisher = {Springer-Verlag},
   volume   =  {1450},
   pages   =   {366-377}}