@ARTICLE\{IMM2003-01565,
    author       = "F. Nielson and R. R. Hansen and H. Riis Nielson",
    title        = "Abstract Interpretation of Mobile Ambients",
    year         = "2003",
    pages        = "145-175",
    journal      = "Science of Computer Programming",
    volume       = "47",
    editor       = "",
    number       = "",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1565-full.html"
}