The implementation of functional programming languages - Jones, S.L.P (Prentice Hall, 1987)