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