Yue Yu, Jiahui Wang, Bo Meng, Dejun Wang: caSPESC2Vyper: Conformant and Automatic Generation from DeFi SPESC Legal Contract to Vyper Smart Contract. APSEC 2025: 325-336