@InProceedings{Logozzo04,
  author =       {Francesco Logozzo and Agostino Cortesi},
  title =        {Abstract interpretation and Object-oriented languages: quo vadis?},
  booktitle = {Proceedings of the 1st International Workshop on Abstract Interpretation of Object-oriented Languages ({AIOOL'05})},
  month =        jan,
  year =         {2005},
  volume =       ???, 
  series =       {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier Science}
}