@book{book2,
  title = "Abstract Interpretation for Declarative Languages",
  year = "1987",
  editor = "S. Abramsky and Chris Hankin",
  publisher = "Ellis Horwood",
}