A Trading Model Based on Legal Contracts Using Smart Contract Templates[C] BLOCKCHAIN AND TRUSTWORTHY SYSTEMS, BLOCKSYS 2019 2020(1156) Shi, Youqun Lu, Zihao Tao, Ran Liu, Ying Zhang, Zhaohui