@InProceedings{netsem:fm2008,
  author =       {Tom Ridge and Michael Norrish and Peter Sewell},
  title =        {A Rigorous Approach to Networking: {TCP}, from
                  Implementation to Protocol to Service},
  booktitle = {15th International Symposium on Formal Methods: 2008 Proceedings},
  pages =     {294--309},
  year =      2008,
  editor =    {J. Cuellar and T. Maibaum},
  volume =    5014,
  series =    {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag}}