@Article{sttt06-contracts,
  author = 	 {Jesper Andersen and Ebbe Elsborg and Fritz Henglein and Jakob Grue Simonsen and Christian Stefansen},
  title = 	 {Compositional specification of commercial contracts},
  journal = 	 {International Journal on Software Tools for Technology Transfer (STTT)},
  year = 	 {2006},
  volume = 	 {8}
  number = 	 {6},
  pages = 	 {485-516},
  month = 	 {October},
  note = 	 {Special Section on Leveraging Applications of Formal Methods},
  publisher =    {Springer-Verlag}
}