@InProceedings{isola04-contracts,
  author = {Jesper Andersen and Ebbe Elsborg and Fritz Henglein and Jakob Grue Simonsen and Christian Stefansen},
  title = {Compositional Specification of Commercial Contracts},
  booktitle = {Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04)},
  pages = {103-110},
  year = {2004},
  publisher = {University of Cyprus Report TR-2004-6}
}