Specification-Driven Code Translation Powered by Large Language Models: How Far Are We? - Soumit Kanti Saha; Fazle Rabbi; Song Wang 009; Jinqiu Yang 001 (CoRR, 2024)