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