The Unification of Functional and Logic Languages. - John Darlington; A. J. Field; Helen Pull (Logic Programming: Functions, Relations, and Equations, 1986)

A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. - John Darlington; Peter G. Harrison; Hessam Khoshnevisan; Lee McLoughlin; Nigel Perry; Helen Pull; Mike Reeve; Keith Sephton; Lyndon While; Sue Wright (PARLE (1), 1989)

A Design Space for Integrating Declarative Languages. - John Darlington; Yike Guo; Helen Pull (Declarative Programming, 1991)

Introducing Constraint Functional Logic Programming. - John Darlington; Yike Guo; Helen Pull (Declarative Programming, 1991)

A New Perspective on Integrating Functional and Logic Languages. - John Darlington; Yike Guo; Helen Pull (FGCS, 1992)