@inproceedings{GM08,
   author =    {R. Giacobazzi and I. Mastroeni},
   title =     {Transforming abstract interpretations by abstract interpretation},
   booktitle = {Proc.\ of The 15th International 
                Static Analysis Symposium, SAS'08},
   year =      2008,
   series =    {Lecture Notes in Computer Science},
   editor = {M. Alpuente},
   publisher = {Springer-Verlag},
   volume   =  {5079},
   pages   =   {1-17}}