A. J. Herbert Roger M. Needham Sequencing Computation Steps in a Network. 59-63 1981 SOSP db/conf/sosp/sosp81.html#HerbertN81