Allan Borodin Further Reflections on a Theory for Basic Algorithms. 1-9 2006 conf/aaim/2006 AAIM http://dx.doi.org/10.1007/11775096_1 db/conf/aaim/aaim2006.html#Borodin06