"Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science)" - читать интересную книгу автора (Jan A. Bergstra, Loe M.G. Feijs)