Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. - Steffen van Bakel; Sjaak Smetsers; Simon Brock (CAAP, 1992)

Process Semantics of Graph Reduction. - Simon Brock; Gerald Ostheimer (CONCUR, 1995)

A process semantics for functional programming. - Simon Brock; Gerald Ostheimer (SEGRAGRA, 1995)

Proofs as graphs. - Duncan Shand; Simon Brock (SEGRAGRA, 1995)

Compile-Time Pointer Reversal. - Simon Brock (J. Funct. Log. Program., 1996)