Тишин В.В.
Теория алгоритмов. Предикаты
Ноокулон. Управление реальностью.