Essentials of programming languages / Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes. - Haynes, Christopher Thomas (MIT Press, 2001)