Programming Languages and Systems - Oliveira (Springer International Publishing, 2020)