@inproceedings{Ridge_NS_08,
    address          = {Turku, Finland},
    author           = {Ridge, Tom and Norrish, Michael and Sewell, Peter},
    booktitle        = {International Symposium on Formal Methods (FM)},
    editor           = {{Jorge Cuellar and Tom Maibaum}},
    keywords         = {tcp theorem-proving validation},
    month            = may,
    pages            = {294---309},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/675.pdf},
    publisher        = {Springer},
    title            = {A rigorous approach to networking: {TCP}, from implementation to protocol to service },
    year             = {2008}
  }