@CONFERENCE\{IMM2007-05467,
    author       = "C. Bodei and P. Degano and H. Gao and L. Brodo",
    title        = "Detecting and Preventing Type Flaws: a Control Flow Analysis with tags",
    year         = "2007",
    month        = "sep",
    pages        = "3-22",
    booktitle    = "5th International Workshop on Security Issues in Concurrency",
    volume       = "194",
    series       = "Electronic Notes in Theoretical Computer Science",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5467-full.html",
    isbn_issn    = "1571-0661"
}