@INCOLLECTION\{IMM2003-01450,
    author       = "D. Bj{\o}rner",
    title        = "Domain Models of {''}The Market{''} - In Preparation for {E-}Commerce",
    year         = "2003",
    booktitle    = "Practical Foundations of Business and System Specifications",
    volume       = "",
    number       = "",
    series       = "",
    publisher    = "Kluwer Academic Press",
    address      = "The Netherlands and New York, {USA}",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1450-full.html",
    abstract     = "An analysis is presented, in the form both of an informal narrative and a formal model of  {''}The Market{''} of buyers and sellers, agents, brokers and traders - who inquire about products and services, issue quotations, orders, delivers, receives, accepts, invoices, pays, rejects, returns and gets refund on such products and services. The analysis is {''}lifted{''} to apply to intra government, intra business and intra citizen, as well as any pairing of these: G2G, G2B, G2C, B2G, B2B, B2C, C2G, C2B, and C2C."
}