Essentials of programming languages - Friedman, Daniel P.; Wand, Mitchell; Haynes, Christopher T. (MIT Press u.a., 1992)