Implementing functional languages - Peyton Jones, Simon L. (Series in computer science, 1992)