A computer checked algebraic veri of a distributed summing protocol (1997)

by J F Groote, F Monin, J Springintveld