"Условные термы и их применение в алгебре и теории вычислений" - читать интересную книгу автора (Пикус А.Г.)