Implementing functional languages - Peyton Jones, Simon L. 1958-; Lester, David R. (Prentice Hall international series in computer science, 1992)