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