Craig Alan Feinstein http://arxiv.org/abs/cs/0507008 2005 CoRR abs/cs/0507008 db/journals/corr/corr0507.html#abs-cs-0507008 informal publication