Mark Burgin Superrecursive Hierarchies of Algorithmic Problems. 31-37 2005 conf/fcs/2005 FCS db/conf/fcs/fcs2005.html#Burgin05