@CONFERENCE\{IMM1992-01801,
    author       = "B. Buth and K. Buth and M. Fr{\"{a}}nzle and B. von Karger and Y. Lakhneche and H. Langmaack and M. Müller-Olm",
    title        = "Provably correct compiler development and implementation",
    year         = "1992",
    pages        = "141-155",
    booktitle    = "Compiler Construction",
    volume       = "641",
    series       = "Lecture Notes in Computer Science",
    editor       = "U. Kastens and P. Pfahler",
    publisher    = "Springer Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1801-full.html"
}