@INCOLLECTION\{IMM1995-01569,
    author       = "N. D. Jones and F. Nielson",
    title        = "Abstract Interpretation: A Semantics-Based Tool  for Program Analysis",
    year         = "1995",
    pages        = "527-636",
    booktitle    = "Handbook of Logic in Computer Science",
    volume       = "4",
    number       = "",
    series       = "",
    publisher    = "",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1569-full.html"
}