@CONFERENCE\{IMM2003-01449,
    author       = "D. Bj{\o}rner",
    title        = "An Ontology for a TripTych Formal Software Development",
    year         = "2003",
    booktitle    = "{US} DoD Workshop on {''}Radical Innovations for Software and Systems Engineering''",
    volume       = "",
    series       = "Lecture Notes in Computer Science",
    editor       = "Martin Wirsing",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "Heidelberg, Germany",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1449-full.html",
    abstract     = "An ontology, ie., a formalised set of strongly interrelated definitions, is given for
an approach to software development that spans domain engineering, requirements engineering and software design - and which is otherwise based on a judicious use of both informal and formal, mathematics-based techniques."
}