@ARTICLE\{IMM1998-01558,
    author       = "K. L. Solberg and H. Riis Nielson and F. Nielson",
    title        = "Strictness and Totality Analysis",
    year         = "1998",
    pages        = "113-145",
    journal      = "Science of Computer Programming",
    volume       = "31",
    editor       = "",
    number       = "1",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1558-full.html"
}