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

Sketching a Constructive Definition of 'mix'. - A. C. Reeves; Charles Rattray (Functional Programming, 1989)

A Sketch-Based Technique for the Derivation of Self-Interpreters. - A. C. Reeves; Charles Rattray (Comput. Lang., 1999)