"Algebraic Methods II.. Theory, Tools and Applications, 2 conf., 1989" - читать интересную книгу автора (Jan A. Bergstra, Loe M.G. Feijs)