Reasoning about functional programs - Ross A. Paterson (1987)

An Implementation for a Higher Level Logic Programming Language. - Anthony S. K. Cheng; Ross A. Paterson (FGCS, 1992)

Derivation and performance of a pipelined transaction processor. - Andrew J. Bennett; Paul H. J. Kelly; Ross A. Paterson (SPDP, 1994)

Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence. - Andrew J. Bennett; Paul H. J. Kelly; Ross A. Paterson (J. Funct. Program., 2001)