@CONFERENCE\{IMM2002-02276,
    author       = "D. Bj{\o}rner",
    title        = "Domain Models of ``The Market{''} -  in Preparation for {E-}Transaction Systems",
    year         = "2002",
    pages        = "34",
    booktitle    = "Practical Foundations of Business and System  Specifications",
    volume       = "",
    series       = "",
    editor       = "Haim Kilov and Ken  Baclawski",
    publisher    = "Kluwer Academic Press",
    organization = "",
    address      = "",
    note         = "\$\backslash\$htmladdnormallinkfoot\{Postscript document\}\{http://www.imm.dtu.dk/\verb+~+db/documents/kilov.ps\}",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2276-full.html"
}