Andreas Blass Nachum Dershowitz Yuri Gurevich When are two algorithms the same? http://arxiv.org/abs/0811.0811 2008 CoRR abs/0811.0811 db/journals/corr/corr0811.html#abs-0811-0811 informal publication