Simon L. Peyton Jones The Implementation of Functional Programming Languages. Prentice-Hall 1987