@inproceedings{netsem:popl2006,
 author = {Steve Bishop and Matthew Fairbairn and Michael Norrish and
           Peter Sewell and Michael Smith and Keith Wansbrough},
 title = {Engineering with logic: {HOL} specification and symbolic-evaluation
          testing for {TCP} implementations},
 booktitle = {POPL'06: Conference record of the 33rd ACM SIGPLAN-SIGACT
              symposium on Principles of programming languages},
 year = {2006},
 isbn = {1-59593-027-2},
 pages = {55--66},
 location = {Charleston, South Carolina, USA},
 doi = {http://doi.acm.org/10.1145/1111037.1111043},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }