@ARTICLE\{IMM1985-01545,
    author       = "F. Nielson",
    title        = "Program Transformations in a Denotational Setting",
    year         = "1985",
    pages        = "359-379",
    journal      = "{ACM} Transactions on Programming Languages  and Systems",
    volume       = "7",
    editor       = "",
    number       = "3",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1545-full.html"
}