Shi Zhou Ingemar J. Cox Vaclav Petricek http://arxiv.org/abs/0708.0741 2007 CoRR abs/0708.0741 db/journals/corr/corr0708.html#abs-0708-0741 informal publication