Gerald: An Exceptional Lazy Functional Programming Language. - A. C. Reeves; D. A. Harrsion; A. F. Sinclair; P. Williamson (Functional Programming, 1989)