Jesper Andersen Ebbe Elsborg Fritz Henglein Jakob Grue Simonsen Christian Stefansen Compositional specification of commercial contracts. 485-516 2006 8 STTT 6 http://dx.doi.org/10.1007/s10009-006-0010-1 db/journals/sttt/sttt8.html#AndersenEHSS06