@CONFERENCE\{IMM2001-02978,
    author       = "R. R. Hansen",
    title        = "Flow Logics for Carmel",
    year         = "2001",
    month        = "oct",
    keywords     = "static analysis, java card, flow logic",
    booktitle    = "The 13th Nordic Workshop on Programming Theory",
    volume       = "",
    series       = "",
    editor       = "Michael R. Hansen",
    publisher    = "Informatics and Mathematical Modelling, Technical University of Denmark",
    organization = "",
    address      = "Lyngby, Denmark",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2978-full.html",
    isbn_issn    = "IMM-TR-2001-12"
}