@MASTERSTHESIS\{IMM1981-01531,
    author       = "F. Nielson",
    title        = "Semantic Foundations of Data Flow Analysis",
    year         = "1981",
    school       = "Aarhus University",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1531-full.html"
}