1. Mythril. https://github.com/ConsenSys/mythril. Accessed 06 Jan 2020
2. OpenZeppelin ERC-20 Token Implementations. https://github.com/OpenZeppelin/openzeppelin-contracts/tree/master/contracts/token/ERC20. Accessed 12 Jan 2020
3. Openzeppelin contracts (2021). https://github.com/OpenZeppelin/openzeppelin-contracts
4. Antonopoulos, A.M., Wood, G.: Mastering Ethereum: Building Smart Contracts and DApps. O’Reilly Media (2018)
5. Brent, L., et al.: Vandal: a scalable security analysis framework for smart contracts. arXiv preprint arXiv:1809.03981 (2018)