Programming Languages - Quintao Pereira (Springer International Publishing, 2014)