Rui Zhang John M. Cioffi http://arxiv.org/abs/0901.2194 2009 CoRR abs/0901.2194 db/journals/corr/corr0901.html#abs-0901-2194 informal publication