Programming Languages: Principles and Paradigms - Gabbrielli, Maurizio (Springer-Verlag London Limited, 2010)