Weak Bisimulation Approximants. - Will Harwood; Faron Moller; Anton Setzer (CSL, 2006)

Pointers and Records in the Unifying Theories of Programming. - Ana Cavalcanti 001; Will Harwood; Jim Woodcock 001 (UTP, 2006)

Towards weak bisimilarity on a class of parallel processes. - Will Harwood (2006)

StoryBank: an indian village community digital library. - Matt Jones 001; Will Harwood; George Buchanan 001; Mounia Lalmas (JCDL, 2007)

"Narrowcast yourself": designing for community storytelling in a rural Indian context. - Matt Jones 001; Will Harwood; David Bainbridge 001; George Buchanan 001; David M. Frohlich; Dorothy Rachovides; Maxine Frank; Mounia Lalmas (Conference on Designing Interactive Systems, 2008)

A Theory of Pointers for the UTP. - Will Harwood; Ana Cavalcanti 001; Jim Woodcock 001 (ICTAC, 2008)

StoryBank: mobile digital storytelling in a development context. - David M. Frohlich; Dorothy Rachovides; Kiriaki Riga; Ramnath Bhat; Maxine Frank; Eran A. Edirisinghe; Dhammike Wickramanayaka; Matt Jones 001; Will Harwood (CHI, 2009)

Locking up passwords - for good. - Will Harwood (Netw. Secur., 2016)