SKIM - The S, K, I Reduction Machine. - T. J. W. Clarke; P. Gladstone; C. MacLean; A. C. Norman (LISP Conference, 1980)

Some Practical Methods for Rapid Combinator Reduction. - W. R. Stoye; T. J. W. Clarke; A. C. Norman (LISP and Functional Programming, 1984)

The D-RISC: An architecture for use in multiprocessors. - T. J. W. Clarke (FPCA, 1987)

Synthesis and optimization of interfaces between hardware modules with incompatible protocols. - Vassilis Androutsopoulos; T. J. W. Clarke; Mike Brookes (ISCAS (5), 2003)