@inproceedings{GiacobazziSR98b,
   author =    {Giacobazzi, R. and Ranzato, F. and Scozzari, F.},
   title =     {Complete Abstract Interpretations made Constructive},
   year =      1998,
   booktitle = {Proceedings of 23rd International Symposium on Mathematical 
               Foundations of Computer Science (MFCS'98)},
   series =    {Lecture Notes in Computer Science},
   editor = {J. Gruska and J. Zlatuska},
   volume   =  {1450},
   pages   =   {366-377},
   publisher = {Springer-Verlag},
}