(Lecture Notes in Computer Science) Nobuko Yoshida - Programming Languages and Systems-Springer (2021)