Programming Languages and Systems - Bruno C. d. S. Oliveira (Springer, 2020)