Towards a Foundation for Intelligent Contracts. - Georgios Stathis; Athanasios Trantas; Giulia Biagioni; H. Jaap van den Herik; Bart Custers; Laura Daniele; Theofilos Katsigiannis (ICAART (2), 2023)