Ariel Daliot Danny Dolev http://arxiv.org/abs/0908.0160 2009 CoRR abs/0908.0160 db/journals/corr/corr0908.html#abs-0908-0160 informal publication