Allan Borodin Towards a Theory of Algorithms. 1 2005 conf/wads/2005 WADS http://dx.doi.org/10.1007/11534273_1 db/conf/wads/wads2005.html#Borodin05