The Implementation Of Functional Programming Languages - Jones, Simon L Peyton (Prentice Hall International, 1987)