Super-Recursive Algorithms - Burgin, Mark (Springer New York, 2005)