Concepts in programming languages - Mitchell, John C. (Cambridge University Press, 2003)
Includes index