SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-Based Auction Services[J] IEEE TRANSACTIONS ON SERVICES COMPUTING 2022(15) Chen, E. Qin, Bohan Zhu, Yan Song, Weijing Wang, Shengdian Chu, Cheng-Chung William Yau, Stephen S.