Boaz Patt-Shamir Dror Rawitz http://arxiv.org/abs/0910.5599 2009 CoRR abs/0910.5599 db/journals/corr/corr0910.html#abs-0910-5599 informal publication