Thijs Krol Interactive Consistency Algorithms based on Voting and Error-correcting Codes. 89-98 1995 FTCS db/conf/ftcs/ftcs95.html#Krol95