/publications/a-theory-of-design-by-contract-for-distributed-multiparty-interactions/index/concur.pdf
Available documents: