@ARTICLE\{IMM1991-01551,
    author       = "H. Riis Nielson and F. Nielson",
    title        = "Using Transformations in the Implementation of  Higher-order Functions",
    year         = "1991",
    pages        = "459-494",
    journal      = "Journal of Functional Programming",
    volume       = "1",
    editor       = "",
    number       = "4",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1551-full.html"
}