Super-Recursive Algorithms - Mark Burgin ((Monographs in Computer Science))