Programming Languages and Systems - Yoshida, Nobuko (Springer International Publishing, 2021)