Programming Language Concepts - Sestoft, Peter (Springer International Publishing : Imprint: Springer, 2017)