@INCOLLECTION{AmatoS09wollic,
  author = {Gianluca Amato and Francesca Scozzari},
  title = {Observational Completeness on Abstract Interpretation},
  booktitle = {Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009},
  publisher = {Springer},
  year = {2009},
  editor = {Hiroakira Ono and Makoto Kanazawa and Ruy de Queiroz},
  volume = {5514},
  series = {Lecture Notes in Computer Science},
  pages = {99--112},
  doi = {10.1007/978-3-642-02261-6_9},
  isbn = {978-3-642-02260-9},
}