Foundations of Programming Languages

Textbook by Kent D. Lee