The Implementation of Functional Programming Languages Simon Peyton Jones, published by Prentice Hall, 1987.