@inproceedings{Bishop_FNSSW_06,
    address          = {Charleston, South Carolina, USA},
    author           = {Bishop, Steve and Fairbairn, Matthew and Norrish, Michael and Sewell, Peter and Smith, Michael and
                        Wansbrough, Keith},
    booktitle        = {ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    doi              = {10.1145/1111037.1111043},
    editor           = {{Simon Peyton Jones}},
    keywords         = {network protocols, tcp/ip, sockets, api, specification, conformance testing, higher-order logic,
                        hol, operational semantics},
    month            = jan,
    pages            = {55---66},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7529.pdf},
    publisher        = {ACM Press},
    title            = {Engineering with Logic: {HOL} Specification and Symbolic-evaluation Testing for {TCP}
                        Implementations},
    year             = {2006}
  }