"New computational paradigms. Changing conceptions of what is computable" - читать интересную книгу автора (S.B. Cooper, Benedikt Löwe, Andrea Sorbi)