@ARTICLE\{IMM1986-02488,
    author       = "F. Nielson and H. Riis Nielson",
    title        = "Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions",
    year         = "1986",
    pages        = "406-407",
    journal      = "{ACM} Transactions on Programming Languages and Systems",
    volume       = "8",
    editor       = "",
    number       = "3",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2488-full.html"
}