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

Functional Programming and Operating Systems. - Simon B. Jones; A. F. Sinclair (Comput. J., 1989)