Devendra Kumar S. Sitharama Iyengar A Semiformal Correctness Proof of a Network Broadcast Algorithm. 668- 1997 conf/compsac/1997 COMPSAC http://computer.org/proceedings/compsac/8105/81050668abs.htm db/conf/compsac/compsac1997.html#KumarI97