On legal contracts, imperative and declarative smart contracts, and blockchain systems
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER