publication venue for Algebraic specification of interconnection network relationships by permutation voltage graph mappings. 29:451-470. 1996 MODULAR CONSTRUCTION OF AN EFFICIENT 1-BIT BYZANTINE AGREEMENT PROTOCOL. 26:131-154. 1993