@PHDTHESIS\{IMM1984-01532,
    author       = "H. Riis Nielson",
    title        = "Hoare Logic's for Run-time Analysis of Programs",
    year         = "1984",
    school       = "Edinburgh University",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1532-full.html"
}