Programming Languages and Systems - Wies, Thomas (Herausgeber) (Lecture Notes in Computer Science, 2023)