On legal contracts, imperative and declarative smart contracts, and blockchain systems
Smart Contract Templates: foundations, design landscape and research directions