@inproceedings{Scozzari-SAS00,
   author = {Scozzari, F.},
   title =  {Abstract domains for sharing analysis by optimal semantics},
   booktitle = {Proceedings of International Static Analysis Symposium, 
                SAS 2000},
   editor = {J. Palsberg},
   year =      2000,
   series =    {Lecture Notes in Computer Science},
   volume   =  {1824},
   pages   =   {397-412},   
   publisher = {Springer-Verlag,Berlin},
}