@inproceedings{paper10,
  title = "Introduction to Abstract Interpretation",
  author = "S. Abramsky and C. Hankin",
  year = "1987",
  booktitle = "Abstract Interpretation for Declarative Languages",
  chapter = "1",
  editor = "S.Abramsky and C. Hankin",
  pages = "9-31",
  publisher = "Ellis Horwood",
}