The implementation of functional programming languages - Peyton Jones, Simon L., 1958- (Prentice-Hall international series in computer science, 1987)