ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages. - John Darlington; Mike Reeve (FPCA, 1981)

The parallel graph reduction machine, Alice. - Peter G. Harrison; Mike Reeve (Graph Reduction, 1986)

A packet-based parallel computation scheme for declarative languages. - Mike Reeve (1987)

Implementing Functional Languages on the Transputer. - Stuart Cox; Hugh Glaser; Mike Reeve (Functional Programming, 1989)

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)

Declarative Languages and Program Transformation for Programming Parallel Systems. - John Darlington; Mike Reeve; Sue Wright (Concurr. Pract. Exp., 1990)

The European Declarative System, database, and languages. - Guy Haworth; Steve Leunig; Carsten Hammer; Mike Reeve (IEEE Micro, 1990)

ElipSys - A Parallel Programming System based on Logic. - Michel Dorochevsky; Liang-Liang Li; Mike Reeve; Kees Schuerman; André Véron (LPAR, 1992)

EDS: A Parallel Computer System for Advanced Information Processing. - Colin J. Skelton; Carsten Hammer; M. Lopez; Mike Reeve; Paul Townsend; Kam-Fai Wong (PARLE, 1992)

APPLAUSE: Applications Using the ElipSys Parallel CLP System. - Liang-Liang Li; Mike Reeve; Kees Schuerman; André Véron; Jacques Bellone; Claudine Pradelles; Zissis Palaskas; Takis Stamatopoulos; Dominic A. Clark; Sylvie Doursenot; Christopher J. Rawlings; Jack Shirazi; et al. (ICLP, 1993)

Protein Topology Prediction through Parallel Constraint Logic Programming. - Dominic A. Clark; Christopher J. Rawlings; Jack Shirazi; André Véron; Mike Reeve (ISMB, 1993)

Applause: Application & Assessment of Parallel Programming Using Logic. - Liang-Liang Li; Mike Reeve; Kees Schuerman; André Véron; Jacques Bellone; Claudine Pradelles; Angelos Kolokouris; Takis Stamatopoulos; Dominic A. Clark; Christopher J. Rawlings; Jack Shirazi; Giuseppe Sardu (PARLE, 1993)

Why and How in the ElipSys OR-parallel CLP System. - André Véron; Kees Schuerman; Mike Reeve; Liang-Liang Li (PARLE, 1993)

Solving Large Combinatorial Problems in Molecular Biology Using the ElipSys Parallel Constraint Logic Programming System. - Dominic A. Clark; Christopher J. Rawlings; Jack Shirazi; Liang-Liang Li; Kees Schuerman; Mike Reeve; André Véron (Comput. J., 1993)

MaTourA: Multi-agent Tourist Advisor. - Constantin Halatsis; Panagiotis Stamatopoulos; Isambo Karali; Costantinos Mourlas; Dimitris Gouscos; Dimitris Margaritis; Constantin Fouskakis; Angelos Kolokouris; Panagiotis Xinos; Mike Reeve; André Véron; Kees Schuerman; et al. (ENTER, 1994)

The Information Society as a Complex System. - Ioannis Antoniou; Mike Reeve; Vic Stenning (J. Univers. Comput. Sci., 2000)