@InProceedings{Logozzo04-3,
  author =       {Francesco Logozzo},
  title =        {Separate Compositional Analysis of Class-based Object-oriented Languages},
  booktitle =    {Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST'2004)},
  month =        jul,
  year =         {2004},
  volume =       3116,
  pages =        {332--346},
  series =       {Lectures Notes in Computer Science},
  publisher =    {Springer-Verlag},
}