Ryan Williams Applying Practice to Theory http://arxiv.org/abs/0811.1305 2008 CoRR abs/0811.1305 db/journals/corr/corr0811.html#abs-0811-1305 informal publication