Lazy Evaluation of Geometric Objects. - F. Warren Burton; Matthew M. Huntbach (IEEE Computer Graphics and Applications, 1984)

Virtual Tree Machines. - F. Warren Burton; Matthew M. Huntbach (IEEE Trans. Computers, 1984)

Multiple Generation Text Files Using Overlapping Tree Structures. - F. Warren Burton; Matthew M. Huntbach; John G. Kollias (Comput. J., 1985)

Program Synthesis by Inductive Inference. - Matthew M. Huntbach (ECAI, 1986)

An Improvised Version of Shapiro's Model Inference System. - Matthew M. Huntbach (ICLP, 1986)

Algorithmic PARLOG Debugging. - Matthew M. Huntbach (SLP, 1987)

Alpha-beta search on virtual tree machines. - Matthew M. Huntbach; F. Warren Burton (Inf. Sci., 1988)

Meta-interpreters and Partial Evaluation in Parlog. - Matthew M. Huntbach (Formal Aspects Comput., 1989)

Implementing a graph-colouring algorithm in Parlog. - Matthew M. Huntbach (ACM SIGPLAN Notices, 1989)

Interactive program debugging and synthesis. - Matthew M. Huntbach (1989)

Speculative Computation and Priorities in Concurrent Logic Languages. - Matthew M. Huntbach (ALPUK, 1991)

Automated Translation of Occam to a Concurrent Logic Language. - Matthew M. Huntbach (LOPSTR, 1991)

Parallel branch-and-bound search in Parlog. - Matthew M. Huntbach (Int. J. Parallel Program., 1991)

How Agents Do It in Stream Logic Programming. - Matthew M. Huntbach; Nick R. Jennings; Graem A. Ringwood (ICMAS, 1995)

The concurrent object-oriented language braid. - Matthew M. Huntbach (SAC, 1995)

Search in concurrent logic languages. - Matthew M. Huntbach (SAC, 1995)

An Introduction to RGDC as a Concurrent Object-Oriented Language. - Matthew M. Huntbach (J. Object Oriented Program., 1995)

Programming In Concurrent Logic Languages. - Matthew M. Huntbach; Graem A. Ringwood (IEEE Softw., 1995)

Agent-Oriented Programming, From Prolog to Guarded Definite Clauses. - Matthew M. Huntbach; Graem A. Ringwood (Springer, 1999)

The Concurrent Language Aldwych - Matthew M. Huntbach (CoRR, 2000)

Features of the Concurrent Programming Language Aldwych. - Matthew M. Huntbach (SAC, 2003)

The Core Language of Aldwych. - Matthew M. Huntbach (CPA, 2007)

A Model for Concurrency Using Single-Writer Single-Assignment Variables. - Matthew M. Huntbach (CPA, 2011)