@ARTICLE\{IMM2007-05573,
    author       = "F. Nielson and H. R. Nielson and C. Priami and D. īRosa",
    title        = "Control Flow Analysis for Bio\{A\}mbients",
    year         = "2007",
    month        = "mar",
    pages        = "65-79",
    journal      = "Electr. Notes Theor. Comput. Sci.",
    volume       = "180",
    editor       = "",
    number       = "",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5573-full.html"
}