New computational paradigms changing conceptions of what is computable - Cooper, S. B. (S. Barry); Lowe, Benedikt; Sorbi, Andrea 1956- (Springer, 2008)