W. H. J. Feijen A. J. M. van Gasteren Birgit Schieder An Elementary Derivation of the Alternating Bit Protocol. 175-187 http://link.springer.de/link/service/series/0558/bibs/1422/14220175.htm 1998 conf/mpc/1998 MPC db/conf/mpc/mpc98.html#FeijenGS98