Programming Languages and Systems - Sergey, Ilya (Springer International Publishing, 2022)