A model of Solidity-style smart contracts in the theorem prover Agda | IEEE Conference Publication | IEEE Xplore