Algebraic Methods: Theory, Tools and Applications - Wirsing, Martin (Lecture Notes in Computer Science Ser.)