Foundations of Programming Languages - Kent D. Lee (Springer, 2017)