@CONFERENCE\{IMM2002-02277,
    author       = "D. Bj{\o}rner",
    title        = "An Ontology for a TripTych Formal Software Development Method",
    year         = "2002",
    pages        = "45",
    booktitle    = "Radical Innovations for  Systems and Software Engineering",
    volume       = "",
    series       = "The Monterey Workshops",
    editor       = "",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    note         = "\$\backslash\$htmladdnormallinkfoot\{Postscript document\}\{http://www.imm.dtu.dk/\verb+~+db/documents/ontology.ps\}",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2277-full.html"
}