Programming Languages: Principles and Paradigms

Textbook by Maurizio Gabbrielli and Simone Martini