Implementing functional languages - Peyton Jones / Lester (1991)