Programming Languages and Systems - Wies, Thomas (Springer Nature Switzerland, 2023)