An Algebraic Proof in VDM. - Arthur P. Hughes; Alexis A. Donnelly (ZUM, 1995)

A Generic Model for State-based Agent Systems. - Arthur P. Hughes; Claus Pahl (IWFM, 1997)

Towards an Override in Topoi. - Arthur P. Hughes (IWFM, 1998)

Unifying Theories of Parallel Programming. - Jim Woodcock 001; Arthur P. Hughes (ICFEM, 2002)