@CONFERENCE\{IMM1991-02053,
    author       = "J. F. S{\o}gaard-Andersen and C. {\O}. Rump and H. H. L{\o}vengreen",
    title        = "A Systematic Kernel Development",
    year         = "1991",
    month        = "dec",
    pages        = "55-65",
    booktitle    = "{ACM} {SIGSOFT} '91 Conference on Software for Critical Systems",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "{ACM} Press",
    organization = "",
    address      = "",
    note         = "Published as {ACM} Software Engineering Notes,  Vol. 16, No. 5.",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2053-full.html"
}