Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison. - Jon M. Kerridge; Dan Simpson (Softw. Pract. Exp., 1984)

Communicating Parallel Processes. - Jon M. Kerridge; Dan Simpson (Softw. Pract. Exp., 1986)

Limits to Computation: The Naive's Guide to Most of Computing Science! - Dan Simpson (AI Soc., 1989)

Life cycles in software and knowledge engineering: a comparative review. - Michael D. Wilson; David A. Duce; Dan Simpson (Knowl. Eng. Rev., 1989)

The ZIP Project. - Brian Hepworth; Dan Simpson (Z User Workshop, 1990)

Slicing Programs in the Presence of Errors. - Mark Harman; Dan Simpson; Sebastian Danicic (Formal Aspects Comput., 1996)