Foundations of Programming Languages. 2nd ed. - Lee, Kent D. (Springer International Publishing, 2020)