@InProceedings{netsem-group:sigcomm05,
  author =       {Steve Bishop and Matthew Fairbairn and Michael Norrish and
                  Peter Sewell and Michael Smith and Keith Wansbrough},
  title =        {Rigorous Specfication and Conformance Testing Techniques for
                 Network Protocols, as Applied to {TCP}, {UDP} and Sockets},
  booktitle =    {Proceedings of the 2005 Conference on Applications,
                  Technologies, Architectures and Protocols for Computer
                  Communications. ({SIGCOMM}~2005)},
  pages =        {265--276},
  year =         2005,
  month =        {August},
  publisher =    {ACM Press}
}