["Gerald: An Exceptional Lazy Functional Programming

Language", A.C. Reeves et al, in Functional Programming,

Glasgow 1989, K. Davis et al eds, Springer 1990].