Essentials Of Programming Languages - D. P. Friedman (Prentice Hall New York, 2005)