Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems | IEEE Conference Publication | IEEE Xplore