@CONFERENCE\{IMM1992-01608,
    author       = "K. L. Solberg and H. Riis Nielson and F. Nielson",
    title        = "Inference Systems for Binding Time Analysis",
    year         = "1992",
    pages        = "247-254",
    booktitle    = "Proc. Workshop on Static Program Analysis",
    volume       = "",
    series       = "report {BIGRE} 81-82",
    editor       = "",
    publisher    = "University of Bordeaux",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1608-full.html"
}