Micah Adler Yair Bartal John W. Byers Michael Luby Danny Raz A Modular Analysis of Network Transmission Protocols. 54-62 1997 ISTCS http://computer.org/proceedings/istcs/8037/80370054abs.htm db/conf/istcs/istcs1997.html#AdlerBBLR97