Implementation and programming techniques for functional languages. - S. C. Wray (1986)