Programming Languages and Systems - Hongseok Yang (Springer, 2017)