Posts by Martin Huschenbett:
The only valid smart contract is a voluntary one — easier said than done
Daml models, tracks, and enforces smart contract rights and obligations
In What properties must an enterprise smart contract language have?, Simon
In What properties must an enterprise smart contract language have?, Simon