@INCOLLECTION\{IMM1997-01572,
    author       = "T. Amtoft and F. Nielson and H. Riis Nielson and J. Ammann",
    title        = "Polymorphic Subtyping for Effect Analysis:  The Dynamic Semantics",
    year         = "1997",
    pages        = "172-206",
    booktitle    = "Analysis and Verification of  Multiple-Agent Languages",
    volume       = "",
    number       = "1192",
    series       = "Lecture Notes in Computer Science",
    publisher    = "",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1572-full.html"
}