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)

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)