Defining the Ethereum Virtual Machine for Interactive Theorem Provers
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER