Super-Recursive Algorithms - Burgin, Mark (Springer Science+Business Media Inc., 2005)