K. Bhargavan, A. Delignat-lavaud, C. Fournet, A. Gollamudi, G. Gonthier et al., Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella-Béguelin. 2016. Formal Verification of Smart Contracts: Short Paper, 2016 ACM Workshop on Programming Languages and Analysis for Security (PLAS '16, pp.91-96

P. Chen, The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976.
DOI : 10.1145/320434.320440

T. T. , A. Dinh, J. Wang, G. Chen, R. Liu et al., BLOCKBENCH: A Framework for Analyzing Private Blockchains, Proceedings of the 2017 ACM International Conference on Management of Data (SIGMOD '17, pp.1085-1100, 2017.

S. Dziembowski, Introduction to Cryptocurrencies, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.1700-1701, 2015.
DOI : 10.1007/978-3-662-44381-1_24

R. Elmasri and S. Navathe, Fundamentals of Database Systems, 2010.