Algebraic methods. Theory, tools and applications - Bergstra, Jan A. (Lecture notes in computer science, 1989)