Generating program animators from programming language semantics. - Dave Berry (1990)

A Semantics for ML Concurrency Primitives. - Dave Berry; Robin Milner; David N. Turner (POPL, 1992)

Lessons from the Design of a Standard ML Library. - Dave Berry (J. Funct. Program., 1993)

Towards a Grid-Enabled Simulation Framework for Nano-CMOS Electronics. - Liangxiu Han; Asen Asenov; Dave Berry; Campbell Millar; Gareth Roy; Scott Roy; Richard O. Sinnott; Gordon Stewart 002 (eScience, 2007)

Semantic-supported and agent-based decentralized grid resource discovery. - Liangxiu Han; Dave Berry (Future Gener. Comput. Syst., 2008)

An Open Grid Services Architecture Primer. - Andrew S. Grimshaw; Mark M. Morgan; Duane Merrill; Hiro Kishimoto; Andreas Savva; David Snelling; Chris Smith; Dave Berry (Computer, 2009)