@ARTICLE\{IMM1989-02324,
    author       = "D. Bj{\o}rner",
    title        = "Facets of Software Development: Computer Science \& Programming, Engineering \& Management",
    year         = "1989",
    pages        = "193-203",
    journal      = "J. of Comput. Sci. \& Techn.",
    volume       = "4",
    editor       = "",
    number       = "3",
    publisher    = "Academia Sinica",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2324-full.html"
}