Programming Language Concepts - Sestoft, Peter. (Undergraduate Topics in Computer Science, 2017)