@inproceedings{Bishop_FNSSW_05,
    address          = {Philadelphia},
    author           = {Bishop, Steve and Fairbairn, Matthew and Norrish, Michael and Sewell, Peter and Smith, Michael and
                        Wansbrough, Keith},
    booktitle        = {ACM Conference on Communications},
    doi              = {10.1145/1080091.1080123},
    editor           = {{Ramesh Govindan and Greg Minshall}},
    keywords         = {network protocols, tcp/ip, sockets, api, specification, conformance testing, higher-order logic,
                        hol, operational semantics},
    month            = aug,
    pages            = {265--276},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7530.pdf},
    publisher        = {ACM Press},
    title            = {Rigorous Specification and Conformance Testing Techniques for Network Protocols, as applied to
                        {TCP}, {UDP}, and Sockets},
    year             = {2005}
  }