@PHDTHESIS\{IMM1984-01533,
    author       = "F. Nielson",
    title        = "Abstract Interpretation Using Domain Theory",
    year         = "1984",
    school       = "University of Edinburgh",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1533-full.html"
}