Programming Languages and Systems - Drossopoulou, Sophia (Springer Berlin Heidelberg, 2020)