Монография. — Новосибирск: Изд-во НГТУ, 2002. — 239 с. — ISBN
5-7782-0392-6.
В монографии, на основе введенного понятия условного терма,
изучается строение условных многообразий (универсальных классов
универсальных алгебр, в том числе и отдельных конечных алгебр).
Описываемое отношение условной рациональной эквивалентности
условных многообразий позволяет решить целый ряд чисто
алгебраических задач, а также построить теорию программно
вычислимых функций на универсальных алгебрах.