Foundations of Programming Languages - Lee (Springer International Publishing, 2014)