Algebraic veri of a distributed summation algorithm (1996)

by J F Groote, J G Springintveld