A Modular Monadic Action Semantics. - Keith Wansbrough; John Hamer (DSL, 1997)

Once Upon a Polymorphic Type. - Keith Wansbrough; Simon L. Peyton Jones (POPL, 1999)

The UDP Calculus: Rigorous Semantics for Real Networking. - Andrei Serjantov; Peter Sewell; Keith Wansbrough (TACS, 2001)

Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. - Keith Wansbrough; Michael Norrish; Peter Sewell; Andrei Serjantov (ESOP, 2002)

Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets. - Michael Norrish; Peter Sewell; Keith Wansbrough (ACM SIGOPS European Workshop, 2002)

Dynamic rebinding for marshalling and update, with destruct-time? - Gavin M. Bierman; Michael W. Hicks; Peter Sewell; Gareth Paul Stoyle; Keith Wansbrough (ICFP, 2003)

Global abstraction-safe marshalling with hash types. - James J. Leifer; Gilles Peskine; Peter Sewell; Keith Wansbrough (ICFP, 2003)

Simple polymorphic usage analysis. - Keith Wansbrough (2003)

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. - Steve Bishop; Matthew Fairbairn; Michael Norrish; Peter Sewell; Michael Smith 008; Keith Wansbrough (SIGCOMM, 2005)

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. - Steve Bishop; Matthew Fairbairn; Michael Norrish; Peter Sewell; Michael Smith 008; Keith Wansbrough (POPL, 2006)

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)

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. - Peter Sewell; Gareth Paul Stoyle; Michael Hicks 001; Gavin M. Bierman; Keith Wansbrough (J. Funct. Program., 2008)

Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API. - Steve Bishop; Matthew Fairbairn; Hannes Mehnert; Michael Norrish; Tom Ridge; Peter Sewell; Michael Smith 008; Keith Wansbrough (J. ACM, 2019)