Acute: High-level programming language design for distributed computation. - Peter Sewell; James J. Leifer; Keith Wansbrough; Francesco Zappa Nardelli; Mair Allen-Williams; Pierre Habouzit; Viktor Vafeiadis (J. Funct. Program., 2007)

Bayesian learning for multi-agent coordination. - Mair Allen-Williams (2009)