Connection Graphs. - Alan Bawden (LISP and Functional Programming, 1986)

Reification without Evaluation. - Alan Bawden (LISP and Functional Programming, 1988)

Syntactic Closures. - Alan Bawden; Jonathan Rees (LISP and Functional Programming, 1988)

Linear graph reduction: confronting the cost of naming. - Alan Bawden (1992)

Quasiquotation in Lisp. - Alan Bawden (PEPM, 1999)

First-Class Macros have Types. - Alan Bawden (POPL, 2000)