The implementation of functional programming languages - Peyton Jones, Simon L (Prentice Hall, 1987)
Includes index.