Programming Languages and Systems - Yi, Kwangkeun (Springer Berlin Heidelberg, 2020)