Programming Languages - Gabbrielli, Maurizio; Giallorenzo, Saverio; Martini, Simone (Cham Springer International Publishing AG, 2023)