A. U. Shankar A verified sliding window protocol with variable flow control. 84-91 1986 conf/sigcomm/1986 SIGCOMM http://doi.acm.org/10.1145/18172.18183 db/conf/sigcomm/sigcomm1986.html#Shankar86