The implementation of functional programming languages - Peyton Jones, Simon L., 1958- (Prentice/Hill International, 1987)