Smart contract languages: A comparative analysis. - Massimo Bartoletti; Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Giacomo Dal Sasso; Roberto Pettinau; Andrea Pinna 002; Mattia Piras; Sabina Rossi; Stefano Salis; Alvise Spanò; Viacheslav Tkachenko; et al. (Future Gener. Comput. Syst., 2025)