@CONFERENCE\{IMM2005-04129,
    author       = "D. Bj{\o}rner",
    title        = "A Cloverleaf of Software Engineering",
    year         = "2005",
    pages        = "75-85",
    booktitle    = "SEEM2005, 3rd {IEEE} Intl. Conference on Software Engineering and Formal Methods",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "Koblenz, Germany",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4129-full.html",
    abstract     = "Invited talk (and paper)"
}