Richard E. Ladner Anthony LaMarca Ewan D. Tempero Counting Protocols for Reliable End-to-End Transmission. 96-111 1998 56 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss56.html#LadnerLT98