SPESC: A Specification Language for Smart Contracts. - Xiao He 005; Bohan Qin; Yan Zhu 010; Xing Chen 002; Yi Liu (COMPSAC (1), 2018)

SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-Based Auction Services. - E. Chen 001; Bohan Qin; Yan Zhu 010; Weijing Song; Shengdian Wang; William Cheng-Chung Chu; Stephen S. Yau (IEEE Trans. Serv. Comput., 2022)