Mark A. Smith K. K. Ramakrishnan Formal specification and verification of safety and performance of TCP selective acknowledgement. 193-207 2002 10 IEEE/ACM Trans. Netw. 2 http://portal.acm.org/citation.cfm?id=508329 db/journals/ton/ton10.html#SmithR02