Programming Languages and Systems - Ahmed, Amal (Springer International Publishing, 2020)