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