Foundations of programming languages / Kent D. Lee. - Lee, Kent D. (Kent Derek) (Undergraduate topics in computer science., 2014)