Danny Bickson Ezra N. Hoch Harel Avissar Danny Dolev http://arxiv.org/abs/0901.2682 2009 CoRR abs/0901.2682 db/journals/corr/corr0901.html#abs-0901-2682 informal publication